2000-10-12 nipkow [Thu, 12 Oct 2000 18:38:23 +0200] rev 10212
*** empty log message ***
TFL/rules.sml TFL/thms.sml TFL/usyntax.sml doc-src/TutorialI/CTL/CTL.thy doc-src/TutorialI/CTL/PDL.thy doc-src/TutorialI/CTL/ROOT.ML doc-src/TutorialI/CTL/document/CTL.tex doc-src/TutorialI/CTL/document/PDL.tex doc-src/TutorialI/IsaMakefile doc-src/TutorialI/Recdef/Nested2.thy doc-src/TutorialI/Recdef/document/Nested2.tex doc-src/TutorialI/todo.tobias doc-src/TutorialI/tutorial.tex src/HOL/Datatype.thy src/HOL/Divides.thy src/HOL/Fun.thy src/HOL/IOA/Asig.thy src/HOL/Induct/Comb.ML src/HOL/Induct/LList.ML src/HOL/Induct/Sexp.thy src/HOL/Inductive.thy src/HOL/Integ/IntDef.thy src/HOL/IsaMakefile src/HOL/Lambda/Commutation.thy src/HOL/Lfp.thy src/HOL/MicroJava/J/JBasis.ML src/HOL/Modelcheck/MuckeSyn.ML src/HOL/NatDef.thy src/HOL/PreList.thy src/HOL/Real/Hyperreal/Series.ML src/HOL/Recdef.thy src/HOL/Relation.thy src/HOL/SetInterval.thy src/HOL/Tools/datatype_abs_proofs.ML src/HOL/Tools/datatype_package.ML src/HOL/Tools/datatype_prop.ML src/HOL/Tools/inductive_package.ML src/HOL/UNITY/Reach.ML src/HOL/ex/PiSets.thy src/HOL/ex/cla.ML src/HOL/ex/mesontest2.ML src/HOLCF/Cprod1.ML src/HOLCF/IOA/ABP/Lemmas.thy src/HOLCF/IOA/ABP/Packet.thy src/HOLCF/IOA/NTP/Lemmas.ML src/HOLCF/IOA/NTP/Lemmas.thy src/HOLCF/IOA/NTP/Multiset.thy src/HOLCF/IOA/NTP/Packet.thy src/HOLCF/Up1.thy

2000-10-12 wenzelm [Thu, 12 Oct 2000 18:09:06 +0200] rev 10211
updated;
doc-src/TutorialI/CTL/document/CTL.tex doc-src/TutorialI/CTL/document/PDL.tex doc-src/TutorialI/isabelle.sty doc-src/TutorialI/isabellesym.sty

2000-10-12 wenzelm [Thu, 12 Oct 2000 18:06:31 +0200] rev 10210
induct -> lfp_induct;
doc-src/TutorialI/CTL/CTL.thy doc-src/TutorialI/CTL/PDL.thy

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:54:22 +0200] rev 10209
install default_handler for SIGINT initially as well;
src/Pure/ML-Systems/polyml-4.0.ML

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:52:44 +0200] rev 10208
tuned syms;
doc-src/IsarRef/isar-ref.tex src/HOL/Real/HahnBanach/document/notation.tex

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:48:47 +0200] rev 10207
updated;
doc-src/AxClass/generated/Group.tex doc-src/AxClass/generated/NatClass.tex doc-src/AxClass/generated/Product.tex doc-src/AxClass/generated/Semigroups.tex doc-src/AxClass/generated/isabelle.sty doc-src/AxClass/generated/isabellesym.sty

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:48:06 +0200] rev 10206
accomodate Poly/ML 4.0;
lib/scripts/run-polyml

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:47:32 +0200] rev 10205
even smarter setup for several installations of Poly/ML 3.x and 4.0;
etc/settings

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:39:47 +0200] rev 10204
tuned syms;
doc-src/AxClass/axclass.tex

2000-10-12 wenzelm [Thu, 12 Oct 2000 17:28:18 +0200] rev 10203
removed nonsensical print statement;
src/HOLCF/IOA/meta_theory/ioa_package.ML