2001-11-03 wenzelm [Sat, 03 Nov 2001 18:40:21 +0100] rev 12034
* 'domain' package adapted to new-style theories, e.g. see
HOLCF/ex/Dnat.thy;
NEWS

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:45:32 +0100] rev 12033
document setup;
src/HOL/document/root.tex

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:44:45 +0100] rev 12032
replaced Undef by UU;
src/HOLCF/IMP/Denotational.thy

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:44:26 +0100] rev 12031
ax_flat;
src/HOLCF/IMP/Denotational.ML

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:41:26 +0100] rev 12030
GPLed;
src/HOLCF/Cfun1.ML src/HOLCF/Cfun1.thy src/HOLCF/Cfun2.ML src/HOLCF/Cfun2.thy src/HOLCF/Cfun3.ML src/HOLCF/Cfun3.thy src/HOLCF/Cont.ML src/HOLCF/Cont.thy src/HOLCF/Cprod1.ML src/HOLCF/Cprod1.thy src/HOLCF/Cprod2.ML src/HOLCF/Cprod2.thy src/HOLCF/Cprod3.ML src/HOLCF/Cprod3.thy src/HOLCF/Discrete.ML src/HOLCF/Discrete.thy src/HOLCF/Discrete0.ML src/HOLCF/Discrete0.thy src/HOLCF/Discrete1.ML src/HOLCF/Discrete1.thy src/HOLCF/Fix.ML src/HOLCF/Fix.thy src/HOLCF/Fun1.ML src/HOLCF/Fun1.thy src/HOLCF/Fun2.ML src/HOLCF/Fun2.thy src/HOLCF/Fun3.ML src/HOLCF/Fun3.thy src/HOLCF/HOLCF.ML src/HOLCF/HOLCF.thy src/HOLCF/One.ML src/HOLCF/One.thy src/HOLCF/Pcpo.ML src/HOLCF/Pcpo.thy src/HOLCF/Porder.ML src/HOLCF/Porder.thy src/HOLCF/Porder0.ML src/HOLCF/Porder0.thy src/HOLCF/Sprod0.ML src/HOLCF/Sprod0.thy src/HOLCF/Sprod1.ML src/HOLCF/Sprod1.thy src/HOLCF/Sprod2.ML src/HOLCF/Sprod2.thy src/HOLCF/Sprod3.ML src/HOLCF/Sprod3.thy src/HOLCF/Ssum0.ML src/HOLCF/Ssum0.thy src/HOLCF/Ssum1.ML src/HOLCF/Ssum1.thy ...

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:40:28 +0100] rev 12029
tuned;
src/HOL/Datatype.thy

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:39:17 +0100] rev 12028
replaced Undef by UU;
src/HOLCF/IOA/meta_theory/CompoScheds.ML src/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOLCF/IOA/meta_theory/CompoTraces.ML src/HOLCF/IOA/meta_theory/CompoTraces.thy src/HOLCF/IOA/meta_theory/Sequence.ML src/HOLCF/IOA/meta_theory/Sequence.thy src/HOLCF/IOA/meta_theory/ShortExecutions.ML src/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOLCF/IOA/meta_theory/TL.thy src/HOLCF/IOA/meta_theory/Traces.thy

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:38:39 +0100] rev 12027
converted theory Lift;
src/HOLCF/IsaMakefile

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:38:11 +0100] rev 12026
rep_datatype lift;
converted to new-style theory;
src/HOLCF/Lift.ML src/HOLCF/Lift.thy src/HOLCF/Lift1.ML src/HOLCF/Lift1.thy src/HOLCF/Lift2.ML src/HOLCF/Lift2.thy src/HOLCF/Lift3.ML src/HOLCF/Lift3.thy

2001-11-03 wenzelm [Sat, 03 Nov 2001 01:36:19 +0100] rev 12025
moved into Main;
src/HOL/String.thy