Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History
Type

In Project(s)

Searched defs:LISP (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A D	lisp_equalScript.sml	`80 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst; value`
H A D	lisp_initScript.sml	`26 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst; value`
H A D	lisp_bytecode_stepScript.sml	`1057 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst value`
H A D	lisp_invScript.sml	`316 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst value [all...]`
H A D	lisp_codegenScript.sml	`34 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst; value [all...]`
H A D	lisp_symbolsScript.sml	`257 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst; value [all...]`
H A D	lisp_opsScript.sml	`21 val LISP = lisp_inv_def \|> SPEC_ALL \|> concl \|> dest_eq \|> fst; value [all...]`

Completed in 84 milliseconds