Cross Reference: /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/spec/Holmakefile

Cross Reference: Holmakefile

xref: /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/spec/Holmakefile

Home
History
AnnotateAnnotate
Line#
Navigate
Raw
Download
only in /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/spec/

1INCLUDES = ../parse
2OPTIONS=QUIT_ON_FAILURE
3

Indexes created Fri Jul 05 22:58:02 MDT 2024