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)