| Wed, 30 Apr 2003 18:30:57 +0200 | ballarin | Simplifier: congruence rule update. | changeset | files |
| Wed, 30 Apr 2003 17:53:47 +0200 | nipkow | added a thm | changeset | files |
| Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | changeset | files |
| Tue, 29 Apr 2003 12:36:49 +0200 | paulson | tweaks | changeset | files |
| Tue, 29 Apr 2003 12:36:40 +0200 | paulson | better guarantees | changeset | files |
| Mon, 28 Apr 2003 17:52:52 +0200 | kleing | in \isanewline: \\ -> \par | changeset | files |
| Mon, 28 Apr 2003 12:01:45 +0200 | ballarin | Simplifier no longer aborts on failed congruence proof. | changeset | files |
| Mon, 28 Apr 2003 10:33:57 +0200 | berghofe | Converted main proof to Isar. | changeset | files |