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 |