src/ZF/Trancl.ML
2000-06-30 paulson 2000-06-30 removal of batch-style proofs
2000-03-01 paulson 2000-03-01 new theorems from Sidi Ould Ehmety
1998-08-14 paulson 1998-08-14 got rid of some goal thy commands
1998-07-13 paulson 1998-07-13 Huge tidy-up: removal of leading \!\! addsplits split_tac[split_if] now default nat_succI now included by default
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-04-23 paulson 1997-04-23 Conversion to use blast_tac
1997-04-10 paulson 1997-04-10 Changed some fast_tac to blast_tac
1997-01-08 paulson 1997-01-08 Removal of sum_cs and eq_cs
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF
1996-01-30 clasohm 1996-01-30 expanded tabs
1994-12-14 clasohm 1994-12-14 added bind_thm for theorems defined by "standard ..."
1994-12-07 clasohm 1994-12-07 added qed and qed_goal[w]
1994-06-21 lcp 1994-06-21 Addition of cardinals and order types, various tidying
1993-09-16 clasohm 1993-09-16 Initial revision