2001-10-05 wenzelm [Fri, 05 Oct 2001 21:50:37 +0200] rev 11700
*** empty log message ***
NEWS

2001-10-05 wenzelm [Fri, 05 Oct 2001 21:49:59 +0200] rev 11699
"num" syntax;
src/HOL/Numeral.ML src/HOL/Numeral.thy

2001-10-05 wenzelm [Fri, 05 Oct 2001 21:49:15 +0200] rev 11698
added axclass "one" and polymorphic const "1";
print consts "0" and "1" with type constraints;
src/HOL/HOL.thy

2001-10-05 wenzelm [Fri, 05 Oct 2001 21:48:04 +0200] rev 11697
added "num" token;
src/Pure/Syntax/lexicon.ML src/Pure/Syntax/token_trans.ML

2001-10-05 wenzelm [Fri, 05 Oct 2001 21:42:10 +0200] rev 11696
induct: case names;
src/FOL/ex/Natural_Numbers.thy

2001-10-05 wenzelm [Fri, 05 Oct 2001 21:37:33 +0200] rev 11695
sane spacing of "-";
src/ZF/equalities.ML src/ZF/simpdata.ML

2001-10-05 wenzelm [Fri, 05 Oct 2001 16:04:56 +0200] rev 11694
tuned;
src/ZF/pair.thy

2001-10-04 wenzelm [Thu, 04 Oct 2001 23:27:42 +0200] rev 11693
Thm.major_prem_of part of Logic.strip_assums_concl;
src/Pure/Isar/net_rules.ML

2001-10-04 wenzelm [Thu, 04 Oct 2001 23:27:01 +0200] rev 11692
major_prem_of: Logic.strip_assums_concl;
src/Pure/thm.ML

2001-10-04 wenzelm [Thu, 04 Oct 2001 16:09:12 +0200] rev 11691
induct/cases made generic, removed simplified/stripped options;
doc-src/IsarRef/generic.tex doc-src/IsarRef/hol.tex