Searched defs:preamble (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/Hoare-for-divergence/
H A Dpreamble.sml1 structure preamble = structure
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dacl2encodeLib.sml1484 val preamble = mk_mlsexp_list value
/seL4-l4v-master/graph-refine/
H A Dsolver.py742 def preamble (self, solver_impl): member in class:Solver
[all...]

Completed in 48 milliseconds