| Thu, 19 Mar 2009 11:44:34 +0100 | wenzelm | added map_contexts (cf. Proof.map_contexts); | changeset | files |
| Thu, 19 Mar 2009 11:20:22 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 18 Mar 2009 22:41:15 +0100 | wenzelm | generalized ML_Context.inherit_env; | changeset | files |