2000-05-21 wenzelm [Sun, 21 May 2000 14:35:27 +0200] rev 8897
adapted to inner syntax of sorts;
src/Pure/Isar/isar_thy.ML src/Pure/Isar/outer_parse.ML src/Pure/Thy/thy_parse.ML src/Pure/axclass.ML src/Pure/theory.ML

2000-05-21 wenzelm [Sun, 21 May 2000 14:33:46 +0200] rev 8896
replaced {{ }} by { };
doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/syntax.tex src/Pure/Isar/args.ML src/Pure/Isar/isar_syn.ML src/Pure/Thy/latex.ML

2000-05-21 wenzelm [Sun, 21 May 2000 14:32:47 +0200] rev 8895
added sort_of_term;
export sortT;
src/Pure/Syntax/type_ext.ML

2000-05-21 wenzelm [Sun, 21 May 2000 14:31:41 +0200] rev 8894
added read_sort;
src/Pure/Syntax/syntax.ML

2000-05-21 wenzelm [Sun, 21 May 2000 01:18:29 +0200] rev 8893
*** empty log message ***
doc-src/AxClass/generated/Group.aux doc-src/AxClass/generated/NatClass.aux doc-src/AxClass/generated/Product.aux doc-src/AxClass/generated/Semigroup.aux doc-src/AxClass/generated/Semigroups.aux

2000-05-21 wenzelm [Sun, 21 May 2000 01:17:12 +0200] rev 8892
new stuff;
doc-src/manual.bib

2000-05-21 wenzelm [Sun, 21 May 2000 01:16:54 +0200] rev 8891
\urlstyle{rm};
doc-src/pdfsetup.sty

2000-05-21 wenzelm [Sun, 21 May 2000 01:12:00 +0200] rev 8890
snapshot of new Isar'ized version;
doc-src/AxClass/Group/Group.thy doc-src/AxClass/Group/Product.thy doc-src/AxClass/Group/ROOT.ML doc-src/AxClass/Group/Semigroup.thy doc-src/AxClass/Group/Semigroups.thy doc-src/AxClass/Group/document/root.tex doc-src/AxClass/IsaMakefile doc-src/AxClass/Makefile doc-src/AxClass/Nat/NatClass.ML doc-src/AxClass/Nat/NatClass.thy doc-src/AxClass/Nat/ROOT.ML doc-src/AxClass/Nat/document/root.tex doc-src/AxClass/axclass.tex doc-src/AxClass/bbb.sty doc-src/AxClass/body.tex doc-src/AxClass/generated/Group.aux doc-src/AxClass/generated/Group.tex doc-src/AxClass/generated/NatClass.aux doc-src/AxClass/generated/NatClass.tex doc-src/AxClass/generated/Product.aux doc-src/AxClass/generated/Product.tex doc-src/AxClass/generated/Semigroup.aux doc-src/AxClass/generated/Semigroup.tex doc-src/AxClass/generated/Semigroups.aux doc-src/AxClass/generated/Semigroups.tex doc-src/AxClass/generated/isabelle.sty doc-src/AxClass/generated/isabellesym.sty doc-src/AxClass/generated/pdfsetup.sty doc-src/AxClass/generated/session.tex doc-src/AxClass/style.tex

2000-05-20 nipkow [Sat, 20 May 2000 18:37:21 +0200] rev 8889
added lemma.
src/HOL/Finite.ML

2000-05-20 nipkow [Sat, 20 May 2000 15:15:02 +0200] rev 8888
fixed link
src/HOL/Lambda/README.html