Searched +path:examples +path:unification (Results 1 - 23 of 23) sorted by relevance

/seL4-l4v-master/HOL4/examples/unification/triangular/
H A DREADME
H A DcommonUnifScript.sml
H A DramanaLib.sml
/seL4-l4v-master/HOL4/examples/unification/triangular/first-order/
H A DHolmakefile
H A DunifPropsScript.sml
H A DsubstScript.sml
H A DredUnifScript.sml
H A DcollapseScript.sml
H A DtermScript.sml
H A DwalkScript.sml
H A DwalkstarScript.sml
H A DunifDefScript.sml
/seL4-l4v-master/HOL4/examples/unification/triangular/nominal/
H A DHolmakefile
H A Dapply_piScript.sml
H A DnsubstScript.sml
H A DntermLib.sig
H A DnwalkScript.sml
H A DnwalkstarScript.sml
H A DnunifPropsScript.sml
H A Ddis_setScript.sml
H A DnunifDefScript.sml
H A DntermScript.sml
H A DntermLib.sml

Completed in 128 milliseconds