| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Wed, 06 Dec 2006 21:18:56 +0100 | wenzelm | export: added explicit term operation; | file | diff | annotate |
| Thu, 30 Nov 2006 14:17:29 +0100 | wenzelm | qualified MetaSimplifier.norm_hhf(_protect); | file | diff | annotate |
| 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 |