Cross Reference: daisyLib.sml
xref
: /
seL4-l4v-10.1.1
/
HOL4
/
examples
/
real-to-float
/
daisyLib.sml
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-10.1.1/HOL4/examples/real-to-float/
History log of
/seL4-l4v-10.1.1/HOL4/examples/real-to-float/daisyLib.sml
Revision
Date
Author
Comments
#
7fb880f8
15-Apr-2016
Magnus Myreen <magnus.myreen@cl.cam.ac.uk>
Sketch HOL<-->Daisy interface (uses mk_oracle_thm)