Searched +path:proofs +path:lambda (Results 1 - 25 of 30) 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
/seL4-l4v-master/isabelle/src/HOL/Proofs/Lambda/document/
H A Droot.bib
H A Droot.tex

Completed in 72 milliseconds

12