1995-03-21 clasohm [Tue, 21 Mar 1995 13:21:48 +0100] rev 967
changed syntax of Unity ("()" instead of "<>")
src/HOL/Prod.thy

1995-03-20 clasohm [Mon, 20 Mar 1995 15:37:03 +0100] rev 966
converted IOA with curried function application
src/HOL/IOA/ROOT.ML src/HOL/IOA/meta_theory/Asig.ML src/HOL/IOA/meta_theory/Asig.thy src/HOL/IOA/meta_theory/IOA.ML src/HOL/IOA/meta_theory/IOA.thy src/HOL/IOA/meta_theory/Option.ML src/HOL/IOA/meta_theory/Option.thy src/HOL/IOA/meta_theory/Solve.ML src/HOL/IOA/meta_theory/Solve.thy

1995-03-20 clasohm [Mon, 20 Mar 1995 15:35:28 +0100] rev 965
changed syntax of "if"
src/HOL/Arith.ML src/HOL/Arith.thy src/HOL/HOL.thy src/HOL/IMP/Com.thy src/HOL/List.thy src/HOL/Ord.thy src/HOL/WF.thy src/HOL/simpdata.ML

1995-03-17 clasohm [Fri, 17 Mar 1995 22:46:26 +0100] rev 964
fixed two severe bugs in calc_xrules and case_rule
src/HOL/datatype.ML

1995-03-17 nipkow [Fri, 17 Mar 1995 15:52:55 +0100] rev 963
Corrected a silly old bug in merge_tsigs.
Rewrote a lot of Nimmermann's code.
src/Pure/sign.ML src/Pure/type.ML

1995-03-17 nipkow [Fri, 17 Mar 1995 15:49:37 +0100] rev 962
Added a few thms to nat_ss and list_ss
src/HOL/List.ML src/HOL/Nat.ML

1995-03-17 regensbu [Fri, 17 Mar 1995 15:35:09 +0100] rev 961
Removed bugs which occurred due to new generation mechanism for type variables
src/HOLCF/Cfun3.ML src/HOLCF/Dlist.ML src/HOLCF/ROOT.ML src/HOLCF/Sprod1.ML src/HOLCF/Ssum1.ML src/HOLCF/Ssum2.ML

1995-03-16 lcp [Thu, 16 Mar 1995 00:00:30 +0100] rev 960
Removed exception handlers, as they are now in ZF/Makefile.
src/ZF/ex/ROOT.ML

1995-03-15 clasohm [Wed, 15 Mar 1995 12:52:03 +0100] rev 959
removed print_msg parameter of infer_types
src/Pure/sign.ML src/Pure/thm.ML

1995-03-15 lcp [Wed, 15 Mar 1995 11:25:24 +0100] rev 958
Now mentions Coind
src/ZF/README