| 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 |
| Mon, 16 Jun 2008 17:54:48 +0200 | wenzelm | export eof; | changeset | files |
| Mon, 16 Jun 2008 17:54:47 +0200 | wenzelm | removed obsolete inst; | changeset | files |
| Mon, 16 Jun 2008 17:54:46 +0200 | wenzelm | atomize: proper context; | changeset | files |
| Mon, 16 Jun 2008 17:54:45 +0200 | wenzelm | atomize: proper context; | changeset | files |