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 |