History log of /seL4-l4v-master/HOL4/src/tfl/examples/cond
Revision Date Author Comments
# bccc7acc 13-Mar-2009 Konrad Slind <konrad.slind@gmail.com>

Revised to work again (proof-rot).
# 39a6e7cf 16-Jun-2002 Konrad Slind <konrad.slind@gmail.com>

Fixes to the induction theorems that TFL produces. Changes to recInduct
to reflect this. Other minor changes.
# d608e7d2 29-May-2002 Konrad Slind <konrad.slind@gmail.com>

Small changes to get examples running (eta no longer in std_ss).
# 1ed6f9cf 06-Dec-1999 Konrad Slind <konrad.slind@gmail.com>

Incremental upgrades.
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision