Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +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.
Wed, 18 Feb 2009 10:26:48 +0100 merged
changeset
blanchet [Wed, 18 Feb 2009 10:26:48 +0100] rev 29957
merged
Tue, 17 Feb 2009 14:01:54 +0100 Reintroduce set_interpreter for Collect and op :.
changeset
blanchet [Tue, 17 Feb 2009 14:01:54 +0100] rev 29956
Reintroduce set_interpreter for Collect and op :. I removed them by accident when removing old code that dealt with the "set" type. Incidentally, there is still some broken "set" code in Refute that should be fixed (see TODO in refute.ML).
Mon, 16 Feb 2009 20:33:23 +0100 Added Nitpick tag to 'of_int_of_nat'.
changeset
blanchet [Mon, 16 Feb 2009 20:33:23 +0100] rev 29955
Added Nitpick tag to 'of_int_of_nat'. This theorem leads to a more efficient encoding to Kodkod than the definition of 'of_int'.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle