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 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 14 Apr 2011 11:24:05 +0200 tuning
changeset
blanchet [Thu, 14 Apr 2011 11:24:05 +0200] rev 42352
tuning
Thu, 14 Apr 2011 11:24:05 +0200 remove needless export
changeset
blanchet [Thu, 14 Apr 2011 11:24:05 +0200] rev 42351
remove needless export
Thu, 14 Apr 2011 11:24:05 +0200 more clausification tests
changeset
blanchet [Thu, 14 Apr 2011 11:24:05 +0200] rev 42350
more clausification tests
Thu, 14 Apr 2011 11:24:05 +0200 make 48170228f562 work also with "HO_Reas" examples
changeset
blanchet [Thu, 14 Apr 2011 11:24:05 +0200] rev 42349
make 48170228f562 work also with "HO_Reas" examples
Thu, 14 Apr 2011 11:24:05 +0200 improve on 0b05cc14c2cb: make sure that a literal variable "?foo" isn't accidentally renamed "?Q", which might be enough to confuse the new Skolemizer (cf. "Clausify.thy" example)
changeset
blanchet [Thu, 14 Apr 2011 11:24:05 +0200] rev 42348
improve on 0b05cc14c2cb: make sure that a literal variable "?foo" isn't accidentally renamed "?Q", which might be enough to confuse the new Skolemizer (cf. "Clausify.thy" example)
Thu, 14 Apr 2011 11:24:05 +0200 properly implemented definitional CNF for the new Skolemizer (and moved the code for the old Skolemizer -- tuning), removing big chunks for experimental/debugging code
changeset
blanchet [Thu, 14 Apr 2011 11:24:05 +0200] rev 42347
properly implemented definitional CNF for the new Skolemizer (and moved the code for the old Skolemizer -- tuning), removing big chunks for experimental/debugging code
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle