Cross Reference: /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/MISC/init.ml

Cross Reference: init.ml

xref: /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/MISC/init.ml

Home
History
AnnotateAnnotate
Line#
Navigate
Raw
Download
only in /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/MISC/

1% Load in patched files %
2
3timer true;;
4
5lisp `(load 'eval)`;;
6
7loadt`conv`;;
8

Indexes created Tue Jul 09 22:07:09 MDT 2024