| Fri, 28 Oct 2011 23:10:44 +0200 | wenzelm | more robust data storage (NB: the morphism can change the shape of qconst, and in the auxiliary context it is not even a constant yet); | changeset | files |
| Fri, 28 Oct 2011 22:17:30 +0200 | wenzelm | uniform Local_Theory.declaration with explicit params; | changeset | files |