wenzelm [Thu, 16 Feb 2006 21:11:58 +0100] rev 19085
added ex/Abstract_NAT.thy;
wenzelm [Thu, 16 Feb 2006 19:39:02 +0100] rev 19084
tuned;
wenzelm [Thu, 16 Feb 2006 19:10:47 +0100] rev 19083
tuned;
haftmann [Thu, 16 Feb 2006 18:59:39 +0100] rev 19082
removed silly stuff
wenzelm [Thu, 16 Feb 2006 18:39:48 +0100] rev 19081
* Isar/locales: new derived specification elements 'definition', 'abbreviation', 'axiomatization';
wenzelm [Thu, 16 Feb 2006 18:26:04 +0100] rev 19080
added abbreviation(_i);
wenzelm [Thu, 16 Feb 2006 18:26:03 +0100] rev 19079
added put_thms_internal: local_naming, no fact index;
tuned;
wenzelm [Thu, 16 Feb 2006 18:26:02 +0100] rev 19078
added put_thms_internal;
tuned;
wenzelm [Thu, 16 Feb 2006 18:26:01 +0100] rev 19077
added abbrev element;
wenzelm [Thu, 16 Feb 2006 18:26:00 +0100] rev 19076
added 'abbreviation';
tuned;
wenzelm [Thu, 16 Feb 2006 18:25:58 +0100] rev 19075
added premsN;
wenzelm [Thu, 16 Feb 2006 18:25:58 +0100] rev 19074
Proof.put_thms_internal;
wenzelm [Thu, 16 Feb 2006 18:25:56 +0100] rev 19073
removed pointless replace;
wenzelm [Thu, 16 Feb 2006 18:25:55 +0100] rev 19072
tuned;
wenzelm [Thu, 16 Feb 2006 18:25:55 +0100] rev 19071
dest_def: actually return beta-eta contracted equation;
wenzelm [Thu, 16 Feb 2006 18:25:54 +0100] rev 19070
derived specifications: definition, abbreviation, axiomatization;