| Mon, 04 Apr 2011 12:39:14 +0100 | paulson | Deletion of all semicolons, because they interfere with Proof General | changeset | files |
| Mon, 04 Apr 2011 09:32:50 +0200 | krauss | raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics. | changeset | files |
| Sun, 03 Apr 2011 11:40:32 +0200 | haftmann | tuned proofs | changeset | files |
| Sat, 02 Apr 2011 18:07:29 +0200 | haftmann | tuned proof | changeset | files |