2009-03-12 agotuned;
wenzelm [Thu, 12 Mar 2009 16:13:14 +0100] rev 30479
tuned;

2009-03-12 agomerged
wenzelm [Thu, 12 Mar 2009 15:56:32 +0100] rev 30478
merged

2009-03-12 agomerged
nipkow [Thu, 12 Mar 2009 15:31:44 +0100] rev 30477
merged

2009-03-12 agoadded div lemmas
nipkow [Thu, 12 Mar 2009 15:31:26 +0100] rev 30476
added div lemmas

2009-03-12 agomerged
nipkow [Thu, 12 Mar 2009 14:27:35 +0100] rev 30475
merged

2009-03-12 agooptional latex sugar
nipkow [Thu, 12 Mar 2009 14:27:21 +0100] rev 30474
optional latex sugar

2009-03-12 agoAssumption.all_prems_of, Assumption.all_assms_of;
wenzelm [Thu, 12 Mar 2009 15:54:58 +0100] rev 30473
Assumption.all_prems_of, Assumption.all_assms_of;

2009-03-12 agoAssumption.local_prems_of;
wenzelm [Thu, 12 Mar 2009 15:54:19 +0100] rev 30472
Assumption.local_prems_of;

2009-03-12 agorenamed assms_of to all_assms_of, and prems_of to all_prems_of;
wenzelm [Thu, 12 Mar 2009 15:53:14 +0100] rev 30471
renamed assms_of to all_assms_of, and prems_of to all_prems_of;
added local_assms_of, local_prems_of;
removed unused add_view;

2009-03-12 agoaxiomatization: more precise treatment of binding;
wenzelm [Thu, 12 Mar 2009 14:30:23 +0100] rev 30470
axiomatization: more precise treatment of binding;