Wed, 19 May 2004 11:23:59 +0200 chaieb A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller.
Wed, 19 May 2004 11:21:19 +0200 chaieb 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 obua modified abel_cancel.ML for polymorphic types
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip