Searched +path:proofs +path:lambda (Results 26 - 30 of 30) sorted by relevance

12

/seL4-l4v-master/l4v/isabelle/src/HOL/Proofs/Lambda/
H A DStandardization.thy
H A DStrongNorm.thy
H A DWeakNorm.thy
/seL4-l4v-master/l4v/isabelle/src/HOL/Proofs/Lambda/document/
H A Droot.bib
H A Droot.tex

Completed in 28 milliseconds

12