2000-10-18 wenzelm [Wed, 18 Oct 2000 23:40:17 +0200] rev 10261
tuned declarations;
src/HOL/Main.thy src/HOL/PreList.thy

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:39:49 +0200] rev 10260
avoid "_" and "^" (more robust);
lib/texinputs/isabelle.sty

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:39:19 +0200] rev 10259
removed Acc and Multiset (see HOL/Library);
src/HOL/Induct/ROOT.ML

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:38:41 +0200] rev 10258
moved to HOL/Library;
src/HOL/Induct/Acc.ML src/HOL/Induct/Acc.thy src/HOL/Induct/Multiset.ML src/HOL/Induct/Multiset.thy src/HOL/Induct/Multiset0.ML src/HOL/Induct/Multiset0.thy src/HOL/Induct/MultisetOrder.thy

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:35:56 +0200] rev 10257
MultisetOrder mmoved to HOL/Library;
src/HOL/Isar_examples/ROOT.ML src/HOL/Isar_examples/document/root.tex

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:35:08 +0200] rev 10256
moved to HOL/LIbrary;
src/HOL/Isar_examples/MultisetOrder.thy

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:33:04 +0200] rev 10255
added HOL/Library, rearranged several files;
src/HOL/IsaMakefile

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:32:19 +0200] rev 10254
moved to HOL/Library;
src/HOL/While.ML src/HOL/While.thy

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:31:16 +0200] rev 10253
"The Supplemental Isabelle/HOL Library";
src/HOL/Library/Library.thy src/HOL/Library/README.html src/HOL/Library/ROOT.ML src/HOL/Library/document/root.bib src/HOL/Library/document/root.tex

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:30:48 +0200] rev 10252
added path_add;
src/Pure/Thy/thy_load.ML