Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 21 May 2004 21:16:51 +0200 removed duplicate thms;
changeset
wenzelm [Fri, 21 May 2004 21:16:51 +0200] rev 14770
removed duplicate thms;
Fri, 21 May 2004 21:15:45 +0200 Sign.typ_instance;
changeset
wenzelm [Fri, 21 May 2004 21:15:45 +0200] rev 14769
Sign.typ_instance;
Fri, 21 May 2004 21:15:22 +0200 tuned message;
changeset
wenzelm [Fri, 21 May 2004 21:15:22 +0200] rev 14768
tuned message;
Fri, 21 May 2004 21:15:10 +0200 tuned document;
changeset
wenzelm [Fri, 21 May 2004 21:15:10 +0200] rev 14767
tuned document;
Fri, 21 May 2004 21:14:52 +0200 use plain SOME;
changeset
wenzelm [Fri, 21 May 2004 21:14:52 +0200] rev 14766
use plain SOME;
Fri, 21 May 2004 21:14:18 +0200 proper use of 'syntax';
changeset
wenzelm [Fri, 21 May 2004 21:14:18 +0200] rev 14765
proper use of 'syntax';
Wed, 19 May 2004 11:41:58 +0200 auto update
changeset
paulson [Wed, 19 May 2004 11:41:58 +0200] rev 14764
auto update
Wed, 19 May 2004 11:31:26 +0200 has_consts now handles the @-operator
changeset
paulson [Wed, 19 May 2004 11:31:26 +0200] rev 14763
has_consts now handles the @-operator
Wed, 19 May 2004 11:30:56 +0200 new bij_betw operator
changeset
paulson [Wed, 19 May 2004 11:30:56 +0200] rev 14762
new bij_betw operator
Wed, 19 May 2004 11:30:18 +0200 more results about isomorphisms
changeset
paulson [Wed, 19 May 2004 11:30:18 +0200] rev 14761
more results about isomorphisms
Wed, 19 May 2004 11:29:47 +0200 conversion of Hilbert_Choice to Isar script
changeset
paulson [Wed, 19 May 2004 11:29:47 +0200] rev 14760
conversion of Hilbert_Choice to Isar script
Wed, 19 May 2004 11:24:54 +0200 the function list1 has been exported.
changeset
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.
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.
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle