2003-10-09 skalberg [Thu, 09 Oct 2003 18:20:14 +0200] rev 14224
Added info on the new 'finalconsts' command.
NEWS

2003-10-09 skalberg [Thu, 09 Oct 2003 18:13:32 +0200] rev 14223
Added support for making constants final, that is, ensuring that no
definition can be given later (useful for constants whose behaviour is
fixed axiomatically rather than definitionally).
etc/isar-keywords.el src/HOL/HOL.ML src/HOL/HOL.thy src/HOL/HOL_lemmas.ML src/HOL/Tools/specification_package.ML src/Pure/Isar/isar_syn.ML src/Pure/display.ML src/Pure/pure_thy.ML src/Pure/theory.ML

2003-10-08 skalberg [Wed, 08 Oct 2003 16:02:54 +0200] rev 14222
Added axiomatic specifications (ax_specification).
src/HOL/Tools/specification_package.ML

2003-10-08 paulson [Wed, 08 Oct 2003 15:58:15 +0200] rev 14221
now accepts DOS and Mac line breaks
src/Pure/General/symbol.ML

2003-10-08 paulson [Wed, 08 Oct 2003 15:57:41 +0200] rev 14220
Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy
src/HOL/IsaMakefile src/HOL/ex/Classical.thy src/HOL/ex/ROOT.ML src/HOL/ex/cla.ML src/HOL/ex/mesontest.ML src/HOL/ex/mesontest2.ML

2003-10-03 paulson [Fri, 03 Oct 2003 12:36:16 +0200] rev 14219
added a comment
TFL/tfl.ML

2003-10-02 paulson [Thu, 02 Oct 2003 10:57:04 +0200] rev 14218
removal of junk and improvement of the document
src/HOL/SET-Protocol/Cardholder_Registration.thy src/HOL/SET-Protocol/EventSET.thy src/HOL/SET-Protocol/Merchant_Registration.thy src/HOL/SET-Protocol/MessageSET.thy src/HOL/SET-Protocol/PublicSET.thy

2003-10-01 berghofe [Wed, 01 Oct 2003 11:02:36 +0200] rev 14217
Fixed inefficiency in post_definition by adding weak case congruence
rules to simpset.
TFL/tfl.ML

2003-09-30 ballarin [Tue, 30 Sep 2003 17:05:50 +0200] rev 14216
Removed garbage accidentally left behind in file.
src/Pure/Isar/locale.ML

2003-09-30 ballarin [Tue, 30 Sep 2003 15:13:02 +0200] rev 14215
Improvements to Isar/Locales: premises generated by "includes" elements
changed. Bugfix "unify_frozen".
src/Pure/Isar/locale.ML src/Pure/Isar/method.ML src/Pure/Isar/proof.ML