History log of /seL4-l4v-10.1.1/HOL4/src/finite_map/flookupLib.sml
Revision Date Author Comments
# f8fd9624 23-Aug-2018 Chun Tian (binghe) <binghe.lisp@gmail.com>

Fixed building in mosml
# ec8192c3 06-Nov-2013 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Tweak to flookupLib.
# 71a66fe7 04-Nov-2013 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Changes to flookupLib.

FLOOKUP_DEFN_CONV now introduces new constants (abbreviations).
# cccc23d5 29-Oct-2013 Michael Norrish <Michael.Norrish@nicta.com.au>

Make flookupLib.sml compile under Moscow ML.
# 32901808 29-Oct-2013 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Add flookupLib, which contains FLOOKUP_DEFN_CONV.