Thu, 05 Jul 2007 20:01:31 +0200 renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
wenzelm [Thu, 05 Jul 2007 20:01:31 +0200] rev 23594
renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac; added flat_rule filter for addXXs etc.;
Thu, 05 Jul 2007 20:01:30 +0200 renamed Conv.is_refl to Thm.is_reflexive;
wenzelm [Thu, 05 Jul 2007 20:01:30 +0200] rev 23593
renamed Conv.is_refl to Thm.is_reflexive;
Thu, 05 Jul 2007 20:01:29 +0200 renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
wenzelm [Thu, 05 Jul 2007 20:01:29 +0200] rev 23592
renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac; simplified ObjectLogic.atomize;
Thu, 05 Jul 2007 20:01:28 +0200 simplified ObjectLogic.atomize;
wenzelm [Thu, 05 Jul 2007 20:01:28 +0200] rev 23591
simplified ObjectLogic.atomize;
Thu, 05 Jul 2007 20:01:26 +0200 renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
wenzelm [Thu, 05 Jul 2007 20:01:26 +0200] rev 23590
renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
Thu, 05 Jul 2007 19:59:01 +0200 Revert body of pgml to match schema for now [change bad for Broker]
aspinall [Thu, 05 Jul 2007 19:59:01 +0200] rev 23589
Revert body of pgml to match schema for now [change bad for Broker]
Thu, 05 Jul 2007 19:57:19 +0200 Classify -- comments as ordinary comments (no undo)
aspinall [Thu, 05 Jul 2007 19:57:19 +0200] rev 23588
Classify -- comments as ordinary comments (no undo)
Thu, 05 Jul 2007 00:15:44 +0200 tuned;
wenzelm [Thu, 05 Jul 2007 00:15:44 +0200] rev 23587
tuned;
Thu, 05 Jul 2007 00:06:25 +0200 avoid polymorphic equality;
wenzelm [Thu, 05 Jul 2007 00:06:25 +0200] rev 23586
avoid polymorphic equality; added dest_judgment;
Thu, 05 Jul 2007 00:06:24 +0200 sort_le: tuned eq case;
wenzelm [Thu, 05 Jul 2007 00:06:24 +0200] rev 23585
sort_le: tuned eq case;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip