| Tue, 23 Feb 2010 14:44:43 -0800 | huffman | merged | changeset | files |
| Tue, 23 Feb 2010 14:44:24 -0800 | huffman | remove redundant lemma realpow_increasing | changeset | files |
| Tue, 23 Feb 2010 14:38:06 -0800 | huffman | remove redundant simp rules from RealPow.thy | changeset | files |
| Tue, 23 Feb 2010 12:35:32 -0800 | huffman | adapt to new realpow rules | changeset | files |
| Tue, 23 Feb 2010 11:14:09 -0800 | huffman | adapt to changes in simpset | changeset | files |
| Tue, 23 Feb 2010 10:37:25 -0800 | huffman | moved some lemmas from RealPow to RealDef; changed orientation of real_of_int_power | changeset | files |
| Tue, 23 Feb 2010 07:45:54 -0800 | huffman | move float syntax from RealPow to Rational | changeset | files |
| Wed, 24 Feb 2010 11:55:52 +0100 | blanchet | compile | changeset | files |
| Wed, 24 Feb 2010 11:35:39 +0100 | blanchet | merged | changeset | files |
| Wed, 24 Feb 2010 11:35:10 +0100 | blanchet | compile | changeset | files |
| Wed, 24 Feb 2010 11:07:58 +0100 | blanchet | make example compile | changeset | files |
| Wed, 24 Feb 2010 09:59:54 +0100 | blanchet | got rid of "axclass", apparently | changeset | files |
| Wed, 24 Feb 2010 09:19:21 +0100 | blanchet | merged | changeset | files |
| Wed, 24 Feb 2010 09:18:31 +0100 | blanchet | cosmetics | changeset | files |
| Tue, 23 Feb 2010 19:10:25 +0100 | blanchet | support local definitions in Nitpick | changeset | files |
| Tue, 23 Feb 2010 16:53:13 +0100 | blanchet | show Kodkod warning message even in non-verbose mode | changeset | files |
| Tue, 23 Feb 2010 15:56:13 +0100 | blanchet | distinguish between Kodkodi warnings and errors in Nitpick; | changeset | files |
| Tue, 23 Feb 2010 14:50:44 +0100 | blanchet | optimized multisets in Nitpick by fishing "finite" | changeset | files |
| Tue, 23 Feb 2010 14:11:36 +0100 | blanchet | document Quickcheck's "no_assms" option | changeset | files |
| Wed, 24 Feb 2010 11:21:37 +0100 | haftmann | tuned comment | changeset | files |
| Tue, 23 Feb 2010 17:55:00 +0100 | hoelzl | merged | changeset | files |
| Tue, 23 Feb 2010 17:33:03 +0100 | hoelzl | Moved old Integration to examples. | changeset | files |
| Tue, 23 Feb 2010 16:58:21 +0100 | bulwahn | merged | changeset | files |
| Tue, 23 Feb 2010 14:00:36 +0100 | bulwahn | merged | changeset | files |