2005-07-28 wenzelm [Thu, 28 Jul 2005 15:19:49 +0200] rev 16934
Sign.typ_unify;
src/HOL/Tools/inductive_package.ML src/HOL/Tools/record_package.ML src/Pure/IsaPlanner/term_lib.ML src/Pure/Isar/attrib.ML src/Pure/Proof/reconstruct.ML src/Pure/unify.ML

2005-07-28 wenzelm [Thu, 28 Jul 2005 15:19:48 +0200] rev 16933
fixed var index in tactic;
src/HOL/Matrix/MatrixGeneral.thy src/HOLCF/Up.thy

2005-07-28 wenzelm [Thu, 28 Jul 2005 15:19:47 +0200] rev 16932
proper header;
src/HOL/Library/BigO.thy src/HOL/Library/SetsAndFunctions.thy

2005-07-28 wenzelm [Thu, 28 Jul 2005 15:19:46 +0200] rev 16931
Sign.typ_instance;
src/FOLP/simp.ML

2005-07-28 wenzelm [Thu, 28 Jul 2005 15:19:45 +0200] rev 16930
updated;
TODO

2005-07-28 wenzelm [Thu, 28 Jul 2005 15:19:44 +0200] rev 16929
tuned;
NEWS

2005-07-28 paulson [Thu, 28 Jul 2005 12:43:50 +0200] rev 16928
now for Mailman-enabled mailing list
Admin/website/community.html

2005-07-28 paulson [Thu, 28 Jul 2005 12:38:11 +0200] rev 16927
now for Mailman-enabled mailing list
Admin/website/index.html

2005-07-28 paulson [Thu, 28 Jul 2005 12:22:02 +0200] rev 16926
now for Mailman-enabled mailing list
Admin/website/documentation.html

2005-07-27 paulson [Wed, 27 Jul 2005 11:30:34 +0200] rev 16925
simpler variable names, and no types for monomorphic constants
src/HOL/Tools/res_atp.ML src/HOL/Tools/res_axioms.ML src/HOL/Tools/res_clause.ML