| Thu, 10 Nov 2005 20:57:22 +0100 | wenzelm | moved find_free to term.ML; | changeset | files |
| Thu, 10 Nov 2005 20:57:21 +0100 | wenzelm | guess: Seq.hd; | changeset | files |
| Thu, 10 Nov 2005 20:57:20 +0100 | wenzelm | guess: Toplevel.proof; | changeset | files |
| Thu, 10 Nov 2005 20:57:19 +0100 | wenzelm | added find_free (from Isar/proof_context.ML); | changeset | files |
| Thu, 10 Nov 2005 20:57:18 +0100 | wenzelm | curried multiply; | changeset | files |
| Thu, 10 Nov 2005 20:57:17 +0100 | wenzelm | induct method: fixes; | changeset | files |
| Thu, 10 Nov 2005 20:57:16 +0100 | wenzelm | uncurried Consts.typargs; | changeset | files |
| Thu, 10 Nov 2005 20:57:11 +0100 | wenzelm | renamed Thm.cgoal_of to Thm.cprem_of; | changeset | files |