1999-03-09 wenzelm [Tue, 09 Mar 1999 12:06:09 +0100] rev 6311
token translation: real;
src/Pure/sign.ML src/Pure/theory.ML

1999-03-09 wenzelm [Tue, 09 Mar 1999 12:05:07 +0100] rev 6310
tuned;
src/Pure/context.ML

1999-03-09 paulson [Tue, 09 Mar 1999 11:09:01 +0100] rev 6309
tidied
src/HOL/UNITY/Extend.ML src/HOL/UNITY/Union.ML

1999-03-09 paulson [Tue, 09 Mar 1999 11:01:39 +0100] rev 6308
Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.
Changing "spies" to "knows Spy", etc. Retaining the constant "spies" as a
translation.
src/HOL/Auth/Event.ML src/HOL/Auth/Event.thy src/HOL/Auth/OtwayRees.ML src/HOL/Auth/OtwayRees.thy src/HOL/Auth/OtwayRees_AN.ML src/HOL/Auth/OtwayRees_AN.thy src/HOL/Auth/OtwayRees_Bad.ML src/HOL/Auth/OtwayRees_Bad.thy src/HOL/Auth/Public.ML src/HOL/Auth/Shared.ML src/HOL/Auth/TLS.ML

1999-03-08 nipkow [Mon, 08 Mar 1999 13:49:53 +0100] rev 6307
Suc -> +1
src/HOL/Lambda/Eta.ML src/HOL/Lambda/Eta.thy src/HOL/Lambda/Lambda.ML src/HOL/Lambda/Lambda.thy

1999-03-08 nipkow [Mon, 08 Mar 1999 13:49:14 +0100] rev 6306
modified zip
src/HOL/List.ML src/HOL/List.thy

1999-03-05 berghofe [Fri, 05 Mar 1999 12:11:54 +0100] rev 6305
Fixed bug in add_datatype_axm:
Recursion and case combinators were assigned inconsistent names in
quick_and_dirty mode, which caused recdef etc. to crash.
src/HOL/Tools/datatype_package.ML

1999-03-04 wenzelm [Thu, 04 Mar 1999 14:23:51 +0100] rev 6304
fixed again;
Admin/makedist

1999-03-03 paulson [Wed, 03 Mar 1999 11:27:10 +0100] rev 6303
expandshort
src/HOL/W0/Type.ML

1999-03-03 paulson [Wed, 03 Mar 1999 11:26:36 +0100] rev 6302
added UNITY/Extend
src/HOL/IsaMakefile