Searched +path:hol +path:proofs +path:lambda +path:lambda +path:. +path:thy (Results 1 - 25 of 26) sorted by relevance

12

/seL4-l4v-master/isabelle/src/HOL/Proofs/Lambda/
H A DLambda.thy
H A DCommutation.thy
H A DEta.thy
H A DInductTermi.thy
H A DLambdaType.thy
H A DListApplication.thy
H A DListBeta.thy
H A DListOrder.thy
H A DNormalForm.thy
H A DParRed.thy
H A DStandardization.thy
H A DStrongNorm.thy
H A DWeakNorm.thy
/seL4-l4v-master/l4v/isabelle/src/HOL/Proofs/Lambda/
H A DLambda.thy
H A DCommutation.thy
H A DEta.thy
H A DInductTermi.thy
H A DLambdaType.thy
H A DListApplication.thy
H A DListBeta.thy
H A DListOrder.thy
H A DNormalForm.thy
H A DParRed.thy
H A DStandardization.thy
H A DStrongNorm.thy

Completed in 33 milliseconds

12