| Sun, 26 Nov 2006 18:07:16 +0100 | wenzelm | updated (binder) syntax/notation; | changeset | files |
| Fri, 24 Nov 2006 22:05:19 +0100 | wenzelm | tuned morphisms; | changeset | files |
| Fri, 24 Nov 2006 22:05:18 +0100 | wenzelm | added export_morphism; | changeset | files |
| Fri, 24 Nov 2006 22:05:17 +0100 | wenzelm | simultaneous fact morphism; | changeset | files |
| Fri, 24 Nov 2006 22:05:16 +0100 | wenzelm | added type_map; | changeset | files |
| Fri, 24 Nov 2006 22:05:15 +0100 | wenzelm | added cterm_rule; | changeset | files |
| Fri, 24 Nov 2006 22:05:14 +0100 | wenzelm | fake predeclaration of structure ProofContext; | changeset | files |