2002-09-26 paulson GroupTheory and FuncSet
2002-09-26 paulson new theory for Pi-sets, restrict, etc.
2002-09-26 paulson Converted Fun to Isar style.
2002-09-26 paulson new document directory for GroupTheory
2002-09-26 paulson converted to Isar and using new "implicit structures" instead of Sigma, etc
2002-09-25 nipkow *** empty log message ***
2002-09-25 nipkow *** empty log message ***
2002-09-25 nipkow *** empty log message ***
2002-09-25 nipkow Int.thy -> int.thy
2002-09-25 nipkow became int.ML
2002-09-25 nipkow conversion to Isar
2002-09-25 nipkow converted to Isar
2002-09-25 nipkow added nat_split
2002-09-21 paulson converted to Isar script
2002-09-20 paulson shortened a proof
2002-09-20 paulson got rid of deepen_tac
2002-09-20 paulson less use of x-symbols
2002-09-19 nipkow *** empty log message ***
2002-09-19 nipkow drule: added nRS
2002-09-19 nipkow preserve names of rewrite rules when transforming them
2002-09-18 kleing comments + usage
2002-09-11 paulson Streamlined proofs of instances of Separation
2002-09-11 paulson Bound variable preservation in Collect_cong
2002-09-10 paulson renamed M_triv_axioms to M_trivial and M_axioms to M_basic
2002-09-10 paulson tweaks
2002-09-09 nipkow *** empty log message ***
2002-09-09 nipkow bug in counter example finder
2002-09-07 paulson conversion of ZF/Integ/{Int,Bin} to Isar scripts
2002-09-05 paulson added checking so that (rename_tac "x y") is rejected, since
2002-09-03 paulson tidied
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip