History log of /seL4-l4v-10.1.1/isabelle/src/Provers/README
Revision Date Author Comments
# 4f1743d8 28-Jul-2010 haftmann <none@none>

dropped dead code
# 121e82fb 04-Mar-2009 blanchet <none@none>

Merge.
# d6ad7af8 28-Feb-2009 wenzelm <none@none>

some updates on ancient README;
# 8b6756fc 22-May-2005 wenzelm <none@none>

Simplifier already setup in Pure;
# ba8dfc74 28-Nov-2002 ballarin <none@none>

Transitivity reasoner renamed to linorder.ML. README updated.
# 57e3f1ba 28-Nov-2002 ballarin <none@none>

HOL-Algebra partially ported to Isar.
# f700f65b 19-Oct-2001 wenzelm <none@none>

induct_method.ML -- proof by cases and induction on sets and types (Isar);
# 85405058 12-May-2000 paulson <none@none>

updated
# 4ce1b2f2 16-Nov-1998 wenzelm <none@none>

removed genelim.ML;
# 6d78b9a1 20-Oct-1998 wenzelm <none@none>

split_paired_all.ML: turn surjective pairing into split rule;
# 5771f4fc 26-Feb-1998 wenzelm <none@none>

added clasimp.ML;
# 0ea7c2bc 12-Feb-1998 wenzelm <none@none>

updated;
# b9c6b518 26-Nov-1997 wenzelm <none@none>

tuned;
# 41677bb6 21-May-1997 wenzelm <none@none>

tuned all READMEs;
# 11033ccd 13-Dec-1993 lcp <none@none>

added mention of simplifier, splitter, hypsubst
# f253ef6a 15-Sep-1993 clasohm <none@none>

Initial revision