2003-03-10 paulson [Mon, 10 Mar 2003 12:53:27 +0100] rev 13852
spelling
src/HOL/README.html

2003-03-06 paulson [Thu, 06 Mar 2003 15:08:38 +0100] rev 13851
new UNITY examples theory
src/HOL/IsaMakefile src/HOL/UNITY/Comp/Progress.thy src/HOL/UNITY/Transformers.thy src/HOL/UNITY/UNITY_Main.thy

2003-03-06 paulson [Thu, 06 Mar 2003 15:03:16 +0100] rev 13850
new logical equivalences
src/HOL/SetInterval.thy

2003-03-06 paulson [Thu, 06 Mar 2003 15:02:51 +0100] rev 13849
new simprule for int (nat n)
and consequential changes
src/HOL/Integ/IntArith.thy src/HOL/Real/PReal.ML src/HOL/Real/RealInt.ML

2003-03-06 kleing [Thu, 06 Mar 2003 12:22:28 +0100] rev 13848
link to devel snapshot
Admin/page/dist-content/index.content Admin/page/main-content/index.content

2003-03-06 kleing [Thu, 06 Mar 2003 12:22:09 +0100] rev 13847
obsolete
Admin/page/main-content/munich.content

2003-03-05 paulson [Wed, 05 Mar 2003 16:03:33 +0100] rev 13846
new examples theory
src/HOL/UNITY/Comp/Progress.thy

2003-03-02 kleing [Sun, 02 Mar 2003 10:32:51 +0100] rev 13845
get cvs to change modified time for session.tex
doc-src/Exercises/2002/a1/generated/session.tex

2003-03-01 kleing [Sat, 01 Mar 2003 19:34:54 +0100] rev 13844
typo
doc-src/Exercises/2002/a1/a1.thy doc-src/Exercises/2002/a1/generated/a1.tex

2003-03-01 kleing [Sat, 01 Mar 2003 19:19:47 +0100] rev 13843
added exercises
doc/Contents