Session LambdaAuth
View
theory dependencies
View
document
View
outline
Theories
Nominal2_Lemmas
HOL-Library.AList
HOL-Library.Conditional_Parametricity
File ‹conditional_parametricity.ML›
HOL-Library.Finite_Map
FMap_Lemmas
Syntax
Semantics
Agreement
Results