| Wed, 29 Nov 2006 04:11:10 +0100 | wenzelm | assms_of: cterm; | file | diff | annotate |
| Fri, 24 Nov 2006 22:05:13 +0100 | wenzelm | added export_morphism; | file | diff | annotate |
| Wed, 02 Aug 2006 22:26:50 +0200 | wenzelm | simplified export: no Seq.seq; | file | diff | annotate |
| Thu, 27 Jul 2006 13:42:59 +0200 | wenzelm | Local assumptions, parameterized by export rules. | file | diff | annotate |