| 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 |
| Wed, 20 Feb 2002 16:00:32 +0100 | berghofe | New function strip_comb (cterm version of Term.strip_comb). | changeset | files |
| Wed, 20 Feb 2002 15:58:38 +0100 | berghofe | New function change_type for changing type assignments of theorems, | changeset | files |
| Wed, 20 Feb 2002 15:56:26 +0100 | berghofe | New function for eliminating definitions in proof term. | changeset | files |
| Wed, 20 Feb 2002 15:47:42 +0100 | berghofe | Converted to new theory format. | changeset | files |
| Wed, 20 Feb 2002 00:55:42 +0100 | wenzelm | added is_quasi; | changeset | files |