History log of /seL4-l4v-10.1.1/HOL4/src/unwind/unwindLib.sml
Revision Date Author Comments
# 2e403d89 09-Aug-2009 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix in unwindLib to cope with renaming of CONJUNCTS_CONV.
# 09bad9c5 19-Nov-2000 Konrad Slind <konrad.slind@gmail.com>

Upgraded to Kan.0.
# 7f3c35f1 01-Jul-1999 Konrad Slind <konrad.slind@gmail.com>

Trivial changes to accommodate parser upgrade.
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision