| Tue, 07 Sep 2004 15:59:16 +0200 | oheimb | added check against indirect recursion | changeset | files |
| Tue, 07 Sep 2004 13:41:30 +0200 | nipkow | fixed discrete field. | changeset | files |
| Tue, 07 Sep 2004 11:42:50 +0200 | nipkow | tuned "discrete" field | changeset | files |
| Mon, 06 Sep 2004 17:37:35 +0200 | nipkow | made mult_mono_thms generic. | changeset | files |
| Mon, 06 Sep 2004 16:45:10 +0200 | paulson | now rejects degenerate (looping) cases | changeset | files |
| Mon, 06 Sep 2004 15:57:58 +0200 | paulson | new "respects" syntax for the congruent operator | changeset | files |
| Fri, 03 Sep 2004 22:40:57 +0200 | nipkow | *** empty log message *** | changeset | files |