Wed, 18 Feb 2009 08:23:11 +0100 tuned comments, stripped ID, deleted superfluous code
haftmann [Wed, 18 Feb 2009 08:23:11 +0100] rev 29962
tuned comments, stripped ID, deleted superfluous code
Wed, 18 Feb 2009 08:23:11 +0100 stripped ID
haftmann [Wed, 18 Feb 2009 08:23:11 +0100] rev 29961
stripped ID
Wed, 18 Feb 2009 11:18:01 +0000 Syntactic support for products over set intervals
paulson [Wed, 18 Feb 2009 11:18:01 +0000] rev 29960
Syntactic support for products over set intervals
Wed, 18 Feb 2009 11:17:29 +0000 No idea what happened here!
paulson [Wed, 18 Feb 2009 11:17:29 +0000] rev 29959
No idea what happened here!
Tue, 17 Feb 2009 10:03:58 +0000 Even and odd powers of -1
paulson [Tue, 17 Feb 2009 10:03:58 +0000] rev 29958
Even and odd powers of -1
Wed, 18 Feb 2009 10:26:48 +0100 merged
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 :.
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'.
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'.
Tue, 17 Feb 2009 20:45:23 -0800 add lemmas for exponentiation
huffman [Tue, 17 Feb 2009 20:45:23 -0800] rev 29954
add lemmas for exponentiation
Tue, 17 Feb 2009 21:51:52 +0100 merged
haftmann [Tue, 17 Feb 2009 21:51:52 +0100] rev 29953
merged
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip