2002-01-03 wenzelm [Thu, 03 Jan 2002 17:50:53 +0100] rev 12622
tuned;
NEWS

2002-01-03 wenzelm [Thu, 03 Jan 2002 17:48:02 +0100] rev 12621
next round of updates;
doc-src/IsarRef/Makefile doc-src/IsarRef/conversion.tex doc-src/IsarRef/generic.tex doc-src/IsarRef/hol.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/logics.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/zf.tex

2002-01-03 paulson [Thu, 03 Jan 2002 17:01:59 +0100] rev 12620
Some new theorems for ordinals
src/ZF/Main.thy src/ZF/OrdQuant.ML src/ZF/OrdQuant.thy

2002-01-02 wenzelm [Wed, 02 Jan 2002 21:54:45 +0100] rev 12619
tuned;
doc-src/System/symbols.tex

2002-01-02 wenzelm [Wed, 02 Jan 2002 21:53:50 +0100] rev 12618
first stage of major update;
doc-src/IsarRef/conversion.tex doc-src/IsarRef/generic.tex doc-src/IsarRef/hol.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/syntax.tex

2002-01-02 wenzelm [Wed, 02 Jan 2002 21:52:54 +0100] rev 12617
added zf.tex;
doc-src/IsarRef/Makefile doc-src/IsarRef/zf.tex

2002-01-02 wenzelm [Wed, 02 Jan 2002 21:52:15 +0100] rev 12616
added isabelle-intro, isabelle-logics;
doc-src/manual.bib

2002-01-02 wenzelm [Wed, 02 Jan 2002 21:51:38 +0100] rev 12615
added \indexisarcmdof, \indexisarmethof, \indexisarattof;
added \COROLLARYNAME, \COROLLARY;
doc-src/isar.sty

2002-01-02 paulson [Wed, 02 Jan 2002 16:07:16 +0100] rev 12614
New theorems by Sidi Ehmety
src/ZF/CardinalArith.ML

2002-01-02 paulson [Wed, 02 Jan 2002 16:06:31 +0100] rev 12613
Literal arithmetic: raising numbers to powers (nat, int, real, hypreal)
src/HOL/Hyperreal/HyperPow.ML src/HOL/Integ/Int.ML src/HOL/Integ/int_arith2.ML src/HOL/Integ/nat_bin.ML src/HOL/Real/RealBin.ML src/HOL/Real/RealInt.ML src/HOL/Real/RealPow.ML src/HOL/Real/ex/BinEx.thy src/HOL/ex/BinEx.thy