| Thu, 11 Mar 2010 23:07:12 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 25 Nov 2009 09:13:46 +0100 | haftmann | normalized uncurry take/drop | file | diff | annotate |
| Tue, 24 Nov 2009 17:28:25 +0100 | haftmann | curried take/drop | file | diff | annotate |
| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Thu, 12 Mar 2009 16:13:14 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 12 Mar 2009 15:53:14 +0100 | wenzelm | renamed assms_of to all_assms_of, and prems_of to all_prems_of; | file | diff | annotate |
| Wed, 21 Jan 2009 22:26:49 +0100 | wenzelm | eliminated obsolete var morphism; | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:04 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
| Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |
| Fri, 28 Mar 2008 20:02:04 +0100 | wenzelm | Context.>> : operate on Context.generic; | file | diff | annotate |
| Thu, 27 Mar 2008 15:32:15 +0100 | wenzelm | eliminated delayed theory setup | file | diff | annotate |
| Tue, 25 Mar 2008 19:39:58 +0100 | wenzelm | setup for dynamic "prems" (legacy); | file | diff | annotate |
| 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 |