isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip

Tue, 15 Oct 2013 15:31:32 +0200 updated S/H docs

blanchet [Tue, 15 Oct 2013 15:31:32 +0200] rev 54114

updated S/H docs

Tue, 15 Oct 2013 15:31:18 +0200 use MePo with Auto Sledgehammer, because it's lighter than MaSh and always available

blanchet [Tue, 15 Oct 2013 15:31:18 +0200] rev 54113

use MePo with Auto Sledgehammer, because it's lighter than MaSh and always available

Tue, 15 Oct 2013 15:26:58 +0200 drop only real duplicates, not subsumed facts -- this confuses MaSh

blanchet [Tue, 15 Oct 2013 15:26:58 +0200] rev 54112

drop only real duplicates, not subsumed facts -- this confuses MaSh

Tue, 15 Oct 2013 11:49:39 +0100 renamed relcomp_def to relcomp_unfold

paulson [Tue, 15 Oct 2013 11:49:39 +0100] rev 54111

renamed relcomp_def to relcomp_unfold

Tue, 15 Oct 2013 12:25:45 +0200 fixed thm names

nipkow [Tue, 15 Oct 2013 12:25:45 +0200] rev 54110

fixed thm names

Tue, 15 Oct 2013 10:59:34 +0200 addressed rare case where the same symbol would be treated alternately as a function and as a predicate -- adding "top2I top_boolI" to a problem that didn't talk about "top" was a way to trigger the issue

blanchet [Tue, 15 Oct 2013 10:59:34 +0200] rev 54109

addressed rare case where the same symbol would be treated alternately as a function and as a predicate -- adding "top2I top_boolI" to a problem that didn't talk about "top" was a way to trigger the issue

(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip

isabelle