| Fri, 24 Nov 2006 22:05:17 +0100 | wenzelm | simultaneous fact morphism; | file | diff | annotate |
| Thu, 23 Nov 2006 20:33:28 +0100 | wenzelm | added name/var/typ/term/thm_morphism; | file | diff | annotate |
| Thu, 23 Nov 2006 00:51:57 +0100 | wenzelm | Abstract morphisms on formal entities. | file | diff | annotate |