Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | changeset | files |
Wed, 20 Feb 2002 17:30:46 +0100 | berghofe | Removed superfluous lookup of theorems in Relation.thy | changeset | files |
Wed, 20 Feb 2002 16:13:58 +0100 | berghofe | Moved change_type to proofterm.ML | changeset | files |