Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +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.
Tue, 11 Sep 2012 18:58:29 +0200 allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
changeset
blanchet [Tue, 11 Sep 2012 18:58:29 +0200] rev 49287
allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
Tue, 11 Sep 2012 18:39:47 +0200 added "defaults" option
changeset
blanchet [Tue, 11 Sep 2012 18:39:47 +0200] rev 49286
added "defaults" option
Tue, 11 Sep 2012 18:12:23 +0200 removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
changeset
blanchet [Tue, 11 Sep 2012 18:12:23 +0200] rev 49285
removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
Tue, 11 Sep 2012 17:36:09 +0200 spin off "bnf_def_tactics.ML"
changeset
blanchet [Tue, 11 Sep 2012 17:36:09 +0200] rev 49284
spin off "bnf_def_tactics.ML"
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle