isabelle: Changelog

wenzelm [Wed, 24 Jul 2002 00:13:41 +0200] rev 13416

AC18: meta-level predicate via locale;

wenzelm [Wed, 24 Jul 2002 00:12:50 +0200] rev 13415

tuned view;

wenzelm [Wed, 24 Jul 2002 00:11:56 +0200] rev 13414

removed attribute "norm_hhf";

wenzelm [Wed, 24 Jul 2002 00:11:24 +0200] rev 13413

adapted fact names;

wenzelm [Wed, 24 Jul 2002 00:10:52 +0200] rev 13412

predicate defs via locales;

wenzelm [Wed, 24 Jul 2002 00:09:44 +0200] rev 13411

locales: predicate defs;

wenzelm [Wed, 24 Jul 2002 00:08:52 +0200] rev 13410

* Pure: locale specifications now produce predicate definitions;

paulson [Tue, 23 Jul 2002 15:07:12 +0200] rev 13409

Relativization and Separation for the function "nth"

berghofe [Mon, 22 Jul 2002 13:55:44 +0200] rev 13408

Added "nocite" to avoid BibTeX error when proofs are switched off.

berghofe [Sun, 21 Jul 2002 15:52:39 +0200] rev 13407

Added program extraction keywords.

isabelle