2002-03-14 paulson [Thu, 14 Mar 2002 16:48:54 +0100] rev 13059
removed ex/set.ML
src/HOL/IsaMakefile

2002-03-14 paulson [Thu, 14 Mar 2002 16:48:34 +0100] rev 13058
converted theory "set" to Isar and added some SET-VAR examples
src/HOL/ex/set.ML src/HOL/ex/set.thy

2002-03-14 kleing [Thu, 14 Mar 2002 16:00:29 +0100] rev 13057
increased treshold for "this expression could be extremely ambigous" warning
src/Pure/Syntax/parser.ML

2002-03-12 kleing [Tue, 12 Mar 2002 19:20:23 +0100] rev 13056
workaround for "ins" bug in sml/nj + code generator
src/HOL/MicroJava/JVM/JVMExec.thy

2002-03-12 nipkow [Tue, 12 Mar 2002 15:18:45 +0100] rev 13055
*** empty log message ***
doc-src/TutorialI/free-copies

2002-03-11 wenzelm [Mon, 11 Mar 2002 20:59:12 +0100] rev 13054
added Berhard Rumpe, Farhad Mehta;
doc-src/TutorialI/free-copies

2002-03-10 wenzelm [Sun, 10 Mar 2002 21:46:27 +0100] rev 13053
tuned;
Admin/page/dist-content/docs.content

2002-03-09 kleing [Sat, 09 Mar 2002 20:39:46 +0100] rev 13052
canonical start state
src/HOL/MicroJava/BV/BVExample.thy src/HOL/MicroJava/BV/BVSpecTypeSafe.thy src/HOL/MicroJava/BV/Correct.thy src/HOL/MicroJava/JVM/JVMExceptions.thy src/HOL/MicroJava/JVM/JVMExec.thy src/HOL/MicroJava/JVM/JVMListExample.thy src/HOL/MicroJava/JVM/JVMState.thy

2002-03-09 kleing [Sat, 09 Mar 2002 20:39:19 +0100] rev 13051
in wellformed programs, exceptions are classes
src/HOL/MicroJava/J/WellForm.thy

2002-03-08 wenzelm [Fri, 08 Mar 2002 20:39:39 +0100] rev 13050
tuned;
Admin/makedist