| Tue, 13 Nov 2012 12:12:14 +0100 | traytel | made SMLNJ happier | changeset | files |
| Tue, 13 Nov 2012 12:06:43 +0100 | traytel | import Sublist rather than PrefixOrder to avoid unnecessary class instantiation | changeset | files |
| Tue, 13 Nov 2012 09:08:32 +0100 | haftmann | prefer explicit Random.seed | changeset | files |
| Mon, 12 Nov 2012 23:24:40 +0100 | haftmann | dropped dead code | changeset | files |
| Mon, 12 Nov 2012 23:24:40 +0100 | haftmann | tuned import order | changeset | files |
| Mon, 12 Nov 2012 18:42:49 +0100 | nipkow | tuned layout | changeset | files |
| Mon, 12 Nov 2012 14:46:42 +0100 | blanchet | fixed detection of tautologies -- things like "a = b" in a structured proof, where a and b are Frees, shouldn't be discarted as tautologies | changeset | files |