| Wed, 02 Aug 2006 22:26:52 +0200 | wenzelm | removed obsolete frees/vars_of etc.; | changeset | files |
| Wed, 02 Aug 2006 22:26:51 +0200 | wenzelm | fake predeclaration of type Proof.context; | changeset | files |
| Wed, 02 Aug 2006 22:26:50 +0200 | wenzelm | simplified export: no Seq.seq; | changeset | files |