Index of Isabelle/HOL/HOL-Nominal/Examples
Up
to index of Isabelle/HOL/HOL-Nominal
View
theory dependencies
Theories
CK_Machine
Lam_Funs
CR
CR_Takahashi
Class1
Class2
Class3
Compile
Contexts
Crary
Fsub
Height
Lambda_mu
LocalWeakening
Pattern
SN
SOS
Standardization
Support
Type_Preservation
W
Weakening
Nominal_Examples
VC_Condition