1999-03-19 wenzelm [Fri, 19 Mar 1999 11:24:00 +0100] rev 6404
common qed and end of proofs;
src/Pure/Isar/isar_syn.ML src/Pure/Isar/isar_thy.ML src/Pure/Isar/method.ML src/Pure/Isar/proof.ML

1999-03-18 nipkow [Thu, 18 Mar 1999 16:44:53 +0100] rev 6403
* New bounded quantifier syntax (input only):
! x < y. P, ! x <= y. P, ? x < y. P, ? x <= y. P
NEWS

1999-03-18 nipkow [Thu, 18 Mar 1999 16:42:34 +0100] rev 6402
New bounded quantifier syntax: !x<i. P etc
src/HOL/Ord.thy

1999-03-18 paulson [Thu, 18 Mar 1999 11:19:03 +0100] rev 6401
added new theory Yahalom_Bad
src/HOL/IsaMakefile

1999-03-18 paulson [Thu, 18 Mar 1999 10:41:33 +0100] rev 6400
added new theory Yahalom_Bad
src/HOL/Auth/README.html src/HOL/Auth/ROOT.ML src/HOL/Auth/Yahalom_Bad.ML src/HOL/Auth/Yahalom_Bad.thy

1999-03-18 paulson [Thu, 18 Mar 1999 10:41:00 +0100] rev 6399
exchanged the order of Gets and Notes in datatype event
src/HOL/Auth/Event.ML src/HOL/Auth/Event.thy

1999-03-17 wenzelm [Wed, 17 Mar 1999 18:01:41 +0100] rev 6398
fixed thm_name again;
src/Pure/Isar/outer_parse.ML

1999-03-17 wenzelm [Wed, 17 Mar 1999 17:20:36 +0100] rev 6397
Theory.sign_of;
TFL/dcterm.sml TFL/post.sml TFL/tfl.sml TFL/thry.sml

1999-03-17 wenzelm [Wed, 17 Mar 1999 17:19:18 +0100] rev 6396
xnum token class;
src/HOL/Integ/Bin.thy

1999-03-17 wenzelm [Wed, 17 Mar 1999 17:18:54 +0100] rev 6395
xstr token class;
src/HOL/String.thy