Searched +path:hol +path:holcf +path:tools +path:domain +path:domain +path:. +path:ml (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/HOLCF/Tools/Domain/
H A Ddomain.ML
H A Ddomain_axioms.ML
H A Ddomain_constructors.ML
H A Ddomain_induction.ML
H A Ddomain_isomorphism.ML
H A Ddomain_take_proofs.ML
/seL4-l4v-10.1.1/isabelle/src/HOL/HOLCF/Tools/Domain/
H A Ddomain.ML
H A Ddomain_axioms.ML
H A Ddomain_constructors.ML
H A Ddomain_induction.ML
H A Ddomain_isomorphism.ML
H A Ddomain_take_proofs.ML

Completed in 80 milliseconds