src/HOL/IMP/Natural.ML
1999-01-29 paulson 1999-01-29 expandshort
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases
1998-11-02 nipkow 1998-11-02 New example
1998-07-03 nipkow 1998-07-03 Removed leading !! in goals.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-11-20 paulson 1997-11-20 Got rid of some slow deepen_tac calls
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1996-09-10 nipkow 1996-09-10 Converted proofs to use default clasets.
1996-09-05 paulson 1996-09-05 Now uses thin_tac
1996-05-07 paulson 1996-05-07 Updated for new form of induction rules
1996-04-29 nipkow 1996-04-29 Natural and Transition semantics.