Wed, 19 May 2004 11:24:54 +0200 the function list1 has been exported.
chaieb [Wed, 19 May 2004 11:24:54 +0200] rev 14759
the function list1 has been exported.
Wed, 19 May 2004 11:23:59 +0200 A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller.
chaieb [Wed, 19 May 2004 11:23:59 +0200] rev 14758
A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller. the tactic has also changed and allows the abstaction over fuction occurences whose type is nat or int.
Wed, 19 May 2004 11:21:19 +0200 tactic call changed from TRYALL arith_tac to TRYALL simple_arith_tac preventing a call to presburger.
chaieb [Wed, 19 May 2004 11:21:19 +0200] rev 14757
tactic call changed from TRYALL arith_tac to TRYALL simple_arith_tac preventing a call to presburger.
Tue, 18 May 2004 11:45:50 +0200 modified abel_cancel.ML for polymorphic types
obua [Tue, 18 May 2004 11:45:50 +0200] rev 14756
modified abel_cancel.ML for polymorphic types
Tue, 18 May 2004 10:02:50 +0200 simplification for abelian groups
obua [Tue, 18 May 2004 10:02:50 +0200] rev 14755
simplification for abelian groups
Tue, 18 May 2004 10:01:44 +0200 Modification / Installation of Provers/Arith/abel_cancel.ML for OrderedGroup.thy
obua [Tue, 18 May 2004 10:01:44 +0200] rev 14754
Modification / Installation of Provers/Arith/abel_cancel.ML for OrderedGroup.thy
Mon, 17 May 2004 14:05:06 +0200 Comments fixed
webertj [Mon, 17 May 2004 14:05:06 +0200] rev 14753
Comments fixed
Mon, 17 May 2004 11:02:16 +0200 lemma disjoint_int_union removed - too special
mehta [Mon, 17 May 2004 11:02:16 +0200] rev 14752
lemma disjoint_int_union removed - too special
Fri, 14 May 2004 19:29:22 +0200 Change of theory hierarchy: Group is now based in Lattice.
ballarin [Fri, 14 May 2004 19:29:22 +0200] rev 14751
Change of theory hierarchy: Group is now based in Lattice.
Fri, 14 May 2004 16:54:13 +0200 tidied
paulson [Fri, 14 May 2004 16:54:13 +0200] rev 14750
tidied
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip