Searched defs:loaded (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/
H A Dhol-mode.sml155 val loaded = emacs_hol_mode_loaded(); value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml1035 gets exported and loaded in a later session, these "datatype" function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml1505 val loaded = loadFunDecs(tlist, polyVarList, addressList) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml3297 val loaded = mapfilter (get_definition theory) constants value

Completed in 208 milliseconds