| 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 |