Searched +path:src +path:hol +path:nominal (Results 1 - 25 of 66) sorted by path

123

/seL4-l4v-10.1.1/isabelle/src/HOL/Nominal/Examples/
H A DCK_Machine.thy
H A DCR.thy
H A DCR_Takahashi.thy
H A DClass1.thy
H A DClass2.thy
H A DClass3.thy
H A DCompile.thy
H A DContexts.thy
H A DCrary.thy
H A DFsub.thy
H A DHeight.thy
H A DLam_Funs.thy
H A DLambda_mu.thy
H A DLocalWeakening.thy
H A DPattern.thy
H A DSN.thy
H A DSOS.thy
H A DStandardization.thy
H A DSupport.thy
H A DType_Preservation.thy
H A DVC_Condition.thy
H A DW.thy
H A DWeakening.thy
/seL4-l4v-10.1.1/isabelle/src/HOL/Nominal/
H A DNominal.thy
H A Dnominal_atoms.ML

Completed in 55 milliseconds

123