Searched +path:examples +path:set-theory (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/examples/set-theory/zfset/
H A DREADME
H A Dzfset_axiomsScript.sml
H A DzfsetScript.sml
/seL4-l4v-master/HOL4/examples/set-theory/vbg/
H A DvbgsetScript.sml
H A DvbgnatsScript.sml
H A DordinalScript.sml

Completed in 155 milliseconds