Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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.
changeset
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.
changeset
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
changeset
obua [Tue, 18 May 2004 11:45:50 +0200] rev 14756
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
isabelle