2000-10-18 wenzelm [Wed, 18 Oct 2000 23:42:18 +0200] rev 10265
use Multiset from HOL/Library;
src/HOL/UNITY/AllocBase.ML src/HOL/UNITY/AllocBase.thy src/HOL/UNITY/Follows.ML src/HOL/UNITY/Follows.thy src/HOL/UNITY/ROOT.ML

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:41:28 +0200] rev 10264
use Accessible_Part from HOL/Library;
src/HOL/Lambda/ListOrder.thy src/HOL/Lambda/ROOT.ML

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:40:58 +0200] rev 10263
path_add "~~/src/HOL/Library";
src/HOL/ROOT.ML

2000-10-18 wenzelm [Wed, 18 Oct 2000 23:40:38 +0200] rev 10262
tuned;
src/HOL/README.html

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