| Wed, 27 Nov 2002 17:07:05 +0100 | berghofe | Replaced some blasts by rules. | changeset | files |
| Wed, 27 Nov 2002 17:06:47 +0100 | berghofe | Changed format of realizers / correctness proofs. | changeset | files |
| Mon, 25 Nov 2002 20:32:29 +0100 | nipkow | renamed a few constants | changeset | files |
| Thu, 21 Nov 2002 17:40:11 +0100 | nipkow | *** empty log message *** | changeset | files |
| Wed, 20 Nov 2002 10:43:20 +0100 | paulson | textual tweak | changeset | files |
| Tue, 19 Nov 2002 10:41:20 +0100 | paulson | stylistic tweaks | changeset | files |
| Mon, 18 Nov 2002 14:51:44 +0100 | nipkow | beautification | changeset | files |
| Sun, 17 Nov 2002 23:43:53 +0100 | berghofe | Fixed small bug that caused some definitions to be "forgotten". | changeset | files |
| Sat, 16 Nov 2002 23:01:59 +0100 | kleing | beautified "match" | changeset | files |
| Sat, 16 Nov 2002 22:54:39 +0100 | kleing | beautified "match" | changeset | files |
| Fri, 15 Nov 2002 18:02:25 +0100 | nipkow | added zdvd_iff_zmod_eq_0 | changeset | files |
| Wed, 13 Nov 2002 15:36:36 +0100 | berghofe | Improved function decompose. | changeset | files |