2003-03-18 nipkow [Tue, 18 Mar 2003 17:54:27 +0100] rev 13868
*** empty log message ***
NEWS doc-src/TutorialI/ToyList/ToyList.thy

2003-03-17 nipkow [Mon, 17 Mar 2003 18:38:50 +0100] rev 13867
just a few mods to a few thms
src/HOL/Bali/Basis.thy src/HOL/Hoare/Separation.thy src/HOL/NanoJava/TypeRel.thy src/HOL/Transitive_Closure.thy src/HOL/Wellfounded_Recursion.ML src/HOL/Wellfounded_Relations.ML

2003-03-17 paulson [Mon, 17 Mar 2003 17:37:48 +0100] rev 13866
More "progress set" material
src/HOL/UNITY/Comp/Progress.thy src/HOL/UNITY/ProgressSets.thy src/HOL/UNITY/Transformers.thy

2003-03-17 paulson [Mon, 17 Mar 2003 17:37:20 +0100] rev 13865
moved one proof, added another
src/HOL/Set.thy

2003-03-14 ballarin [Fri, 14 Mar 2003 18:00:16 +0100] rev 13864
Bugs fixed and operators finprod and finsum.
src/HOL/Algebra/CRing.thy src/HOL/Algebra/Summation.thy src/HOL/Algebra/ringsimp.ML

2003-03-14 kleing [Fri, 14 Mar 2003 12:03:23 +0100] rev 13863
more about list_all2
src/HOL/List.thy

2003-03-14 kleing [Fri, 14 Mar 2003 12:02:14 +0100] rev 13862
fix for changes in HOL/Hoare/
src/HOL/Isar_examples/Hoare.thy

2003-03-14 paulson [Fri, 14 Mar 2003 10:30:46 +0100] rev 13861
Proved the main lemma on progress sets
src/HOL/UNITY/ProgressSets.thy src/HOL/UNITY/Transformers.thy src/HOL/UNITY/UNITY.thy

2003-03-14 paulson [Fri, 14 Mar 2003 10:30:15 +0100] rev 13860
new UN/INT simprules
src/HOL/Set.thy

2003-03-13 berghofe [Thu, 13 Mar 2003 18:54:38 +0100] rev 13859
split_name no longer uses Sign.string_of_typ to encode types, since
this depends on the print mode and may lead to unpredictable results.
src/Provers/splitter.ML