| Wed, 14 Dec 2011 15:50:15 +0100 | wenzelm | merged | changeset | files |
| Wed, 14 Dec 2011 15:05:22 +0100 | blanchet | updated Sledgehammer/SMT docs | changeset | files |
| Wed, 14 Dec 2011 15:30:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 14 Dec 2011 12:18:19 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 14 Dec 2011 12:10:44 +0100 | wenzelm | some full isatest runs, which include benchmark targets; | changeset | files |
| Wed, 14 Dec 2011 12:02:02 +0100 | wenzelm | more visible benchmarks; | changeset | files |
| Wed, 14 Dec 2011 10:18:28 +0100 | blanchet | fixed Nitpick definition of "<" on "real"s | changeset | files |
| Wed, 14 Dec 2011 08:32:48 +0100 | huffman | replace 'lemmas' with 'lemma' | changeset | files |