| Mon, 16 Jun 2008 17:54:51 +0200 | wenzelm | converted ML proofs; | changeset | files |
| Mon, 16 Jun 2008 17:54:50 +0200 | wenzelm | added read_instantiate; | changeset | files |
| Mon, 16 Jun 2008 17:54:49 +0200 | wenzelm | ML tactic: do not abstract over context again; | changeset | files |