Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +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.
Sat, 17 Sep 2011 15:08:55 +0200 dropped unused argument – avoids problem with SML/NJ
changeset
haftmann [Sat, 17 Sep 2011 15:08:55 +0200] rev 44947
dropped unused argument – avoids problem with SML/NJ
Sat, 17 Sep 2011 00:40:27 +0200 tuned spacing
changeset
haftmann [Sat, 17 Sep 2011 00:40:27 +0200] rev 44946
tuned spacing
Sat, 17 Sep 2011 00:37:21 +0200 tuned
changeset
haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945
tuned
Sat, 17 Sep 2011 04:41:44 +0200 tuned post fixpoint setup
changeset
nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944
tuned post fixpoint setup
Sat, 17 Sep 2011 03:37:14 +0200 merged
changeset
nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943
merged
Fri, 16 Sep 2011 09:18:15 +0200 when applying induction rules, remove names of assumptions that come
changeset
nipkow [Fri, 16 Sep 2011 09:18:15 +0200] rev 44942
when applying induction rules, remove names of assumptions that come with the rule in case the rule is transformed by the simplifier due to instantiations
Fri, 16 Sep 2011 20:08:29 +0200 remove stray "using [[simp_trace]]"
changeset
noschinl [Fri, 16 Sep 2011 20:08:29 +0200] rev 44941
remove stray "using [[simp_trace]]"
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle