Searched +path:barendregt +path:. +path:sml (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sml
/seL4-l4v-master/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml
/seL4-l4v-master/HOL4/examples/lambda/barendregt/
H A Dchap11_1Script.sml
H A Dchap3Script.sml
H A Dnormal_orderScript.sml
H A DstandardisationScript.sml
H A Dterm_posnsScript.sml
H A Dchap2Script.sml
H A Dfinite_developmentsScript.sml
H A Dhead_reductionScript.sml
H A DtakahashiScript.sml
H A DlabelledTermsScript.sml
H A DreductionEval.sml

Completed in 130 milliseconds