1998-10-15 paulson [Thu, 15 Oct 1998 11:38:39 +0200] rev 5649
Uses overload_1st_set to specify overloading
src/HOL/Relation.ML src/HOL/Set.ML

1998-10-15 paulson [Thu, 15 Oct 1998 11:35:07 +0200] rev 5648
specifications as sets of programs
src/HOL/UNITY/Channel.ML src/HOL/UNITY/Channel.thy src/HOL/UNITY/Client.ML src/HOL/UNITY/Client.thy src/HOL/UNITY/Common.ML src/HOL/UNITY/Common.thy src/HOL/UNITY/Constrains.ML src/HOL/UNITY/Constrains.thy src/HOL/UNITY/Deadlock.ML src/HOL/UNITY/FP.ML src/HOL/UNITY/FP.thy src/HOL/UNITY/Handshake.ML src/HOL/UNITY/Handshake.thy src/HOL/UNITY/LessThan.ML src/HOL/UNITY/Lift.ML src/HOL/UNITY/Mutex.ML src/HOL/UNITY/NSP_Bad.ML src/HOL/UNITY/Network.ML src/HOL/UNITY/ROOT.ML src/HOL/UNITY/Reach.ML src/HOL/UNITY/SubstAx.ML src/HOL/UNITY/SubstAx.thy src/HOL/UNITY/Token.ML src/HOL/UNITY/Token.thy src/HOL/UNITY/Traces.ML src/HOL/UNITY/Traces.thy src/HOL/UNITY/UNITY.ML src/HOL/UNITY/UNITY.thy src/HOL/UNITY/Union.ML src/HOL/UNITY/Union.thy src/HOL/UNITY/WFair.ML src/HOL/UNITY/WFair.thy

1998-10-14 nipkow [Wed, 14 Oct 1998 15:47:22 +0200] rev 5647
Description of new version.
src/HOL/Hoare/README.html

1998-10-14 nipkow [Wed, 14 Oct 1998 15:26:31 +0200] rev 5646
New many-sorted version.
src/HOL/Hoare/Examples.ML src/HOL/Hoare/Examples.thy src/HOL/Hoare/Hoare.ML src/HOL/Hoare/Hoare.thy src/HOL/Hoare/List_Examples.ML src/HOL/Hoare/List_Examples.thy src/HOL/Hoare/README.html src/HOL/Hoare/ROOT.ML

1998-10-14 nipkow [Wed, 14 Oct 1998 11:51:11 +0200] rev 5645
See (* FIXME zero_neq_conv *)
src/HOL/Auth/TLS.ML

1998-10-14 nipkow [Wed, 14 Oct 1998 11:50:48 +0200] rev 5644
Nat: added zero_neq_conv
List: added nth/update lemmas.
src/HOL/List.ML src/HOL/Nat.ML

1998-10-13 wenzelm [Tue, 13 Oct 1998 14:25:01 +0200] rev 5643
added Int.int;
src/Pure/basis.ML

1998-10-13 wenzelm [Tue, 13 Oct 1998 14:24:35 +0200] rev 5642
PRIVATE sig parts;
src/Pure/sign.ML src/Pure/theory.ML src/Pure/theory_data.ML

1998-10-13 paulson [Tue, 13 Oct 1998 11:08:28 +0200] rev 5641
length_Suc_conv is no longer given to AddIffs
src/HOL/List.ML

1998-10-13 paulson [Tue, 13 Oct 1998 11:05:34 +0200] rev 5640
new theorems
src/HOL/UNITY/WFair.ML