| Wed, 19 Nov 2003 14:29:06 +0100 | paulson | additions to Ring_and_Field | changeset | files |
| Tue, 18 Nov 2003 11:03:56 +0100 | paulson | fixed a comment | changeset | files |
| Tue, 18 Nov 2003 11:03:33 +0100 | paulson | new theorems for Rings | changeset | files |
| Tue, 18 Nov 2003 11:01:52 +0100 | paulson | conversion of ML to Isar scripts | changeset | files |
| Tue, 18 Nov 2003 09:45:45 +0100 | berghofe | Improved error handling: add_primrec now prints out ill-formed equation | changeset | files |
| Fri, 14 Nov 2003 14:35:55 +0100 | ballarin | Type inference bug in Isar attributes "where" and "of" fixed. | changeset | files |
| Wed, 12 Nov 2003 10:58:23 +0100 | paulson | tidied | changeset | files |