isabelle: Changelog

paulson [Wed, 24 Jul 2002 17:59:12 +0200] rev 13418

tweaks, aiming towards relativization of "satisfies"

berghofe [Wed, 24 Jul 2002 16:16:44 +0200] rev 13417

Tuned type constraint of function merge_rules to make smlnj happy.

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"

isabelle