2000-09-21 kleing [Thu, 21 Sep 2000 12:25:48 +0200] rev 10047
Digest.thy as toplevel theory
src/HOL/MicroJava/ROOT.ML

2000-09-21 kleing [Thu, 21 Sep 2000 12:25:07 +0200] rev 10046
theorem digest of all MicroJava theorems, theories in alphabetical order
may also serve as toplevel file that includes all other theories
src/HOL/MicroJava/Digest.thy

2000-09-21 fleuriot [Thu, 21 Sep 2000 12:17:11 +0200] rev 10045
New theories: construction of hypernaturals, nonstandard extensions,
and some nonstandard analysis.
src/HOL/Real/Hyperreal/HRealAbs.ML src/HOL/Real/Hyperreal/HRealAbs.thy src/HOL/Real/Hyperreal/HyperNat.ML src/HOL/Real/Hyperreal/HyperNat.thy src/HOL/Real/Hyperreal/HyperOrd.ML src/HOL/Real/Hyperreal/HyperOrd.thy src/HOL/Real/Hyperreal/HyperPow.ML src/HOL/Real/Hyperreal/HyperPow.thy src/HOL/Real/Hyperreal/Lim.ML src/HOL/Real/Hyperreal/Lim.thy src/HOL/Real/Hyperreal/NSA.ML src/HOL/Real/Hyperreal/NSA.thy src/HOL/Real/Hyperreal/NatStar.ML src/HOL/Real/Hyperreal/NatStar.thy src/HOL/Real/Hyperreal/SEQ.ML src/HOL/Real/Hyperreal/SEQ.thy src/HOL/Real/Hyperreal/Series.ML src/HOL/Real/Hyperreal/Series.thy src/HOL/Real/Hyperreal/Star.ML src/HOL/Real/Hyperreal/Star.thy

2000-09-21 kleing [Thu, 21 Sep 2000 12:13:36 +0200] rev 10044
tuned, added lightweight BV to abstract, added Bali link
src/HOL/MicroJava/document/root.tex

2000-09-21 fleuriot [Thu, 21 Sep 2000 12:11:38 +0200] rev 10043
Updated Files with new theorems
src/HOL/Real/Hyperreal/HyperDef.ML src/HOL/Real/Hyperreal/README.html src/HOL/Real/ROOT.ML src/HOL/Real/RealAbs.ML src/HOL/Real/RealDef.ML src/HOL/Real/RealOrd.ML src/HOL/Real/RealPow.ML

2000-09-21 kleing [Thu, 21 Sep 2000 10:42:49 +0200] rev 10042
unsymbolized
src/HOL/MicroJava/BV/BVSpec.thy src/HOL/MicroJava/BV/BVSpecTypeSafe.thy src/HOL/MicroJava/BV/Convert.thy src/HOL/MicroJava/BV/Correct.thy src/HOL/MicroJava/BV/LBVComplete.thy src/HOL/MicroJava/BV/LBVCorrect.thy src/HOL/MicroJava/BV/LBVSpec.thy src/HOL/MicroJava/BV/Step.thy src/HOL/MicroJava/BV/StepMono.thy src/HOL/MicroJava/J/Conform.ML src/HOL/MicroJava/J/Conform.thy src/HOL/MicroJava/J/Decl.ML src/HOL/MicroJava/J/Decl.thy src/HOL/MicroJava/J/Eval.ML src/HOL/MicroJava/J/Eval.thy src/HOL/MicroJava/J/Example.ML src/HOL/MicroJava/J/Example.thy src/HOL/MicroJava/J/JBasis.ML src/HOL/MicroJava/J/JBasis.thy src/HOL/MicroJava/J/JTypeSafe.ML src/HOL/MicroJava/J/State.ML src/HOL/MicroJava/J/State.thy src/HOL/MicroJava/J/Term.thy src/HOL/MicroJava/J/Type.thy src/HOL/MicroJava/J/TypeRel.ML src/HOL/MicroJava/J/TypeRel.thy src/HOL/MicroJava/J/Value.thy src/HOL/MicroJava/J/WellForm.ML src/HOL/MicroJava/J/WellForm.thy src/HOL/MicroJava/J/WellType.ML src/HOL/MicroJava/J/WellType.thy src/HOL/MicroJava/JVM/JVMExec.thy src/HOL/MicroJava/JVM/JVMExecInstr.thy src/HOL/MicroJava/JVM/JVMState.thy src/HOL/MicroJava/JVM/Store.ML src/HOL/MicroJava/JVM/Store.thy

2000-09-20 wenzelm [Wed, 20 Sep 2000 21:20:41 +0200] rev 10041
removed dead code;
Admin/page/dist-layout/template.html Admin/page/main-content/index.content Admin/page/main-layout/template.html

2000-09-20 wenzelm [Wed, 20 Sep 2000 21:20:26 +0200] rev 10040
added "install" target;
Admin/page/Makefile

2000-09-20 wenzelm [Wed, 20 Sep 2000 21:20:01 +0200] rev 10039
tuned;
Admin/makerpm

2000-09-20 wenzelm [Wed, 20 Sep 2000 14:59:19 +0200] rev 10038
tuned rpm command lines;
Admin/page/dist-content/packages.content INSTALL