| Tue, 12 Nov 2013 14:24:34 +0100 | blanchet | ported part of function package to new 'Ctr_Sugar' abstraction | file | diff | annotate |
| Sun, 08 Sep 2013 22:32:47 +0200 | Manuel Eberl | generate elim rules for elimination of function equalities; | file | diff | annotate |
| Wed, 31 Oct 2012 11:23:21 +0100 | blanchet | moved "SAT" before "FunDef" and moved back all SAT-related ML files to where they belong | file | diff | annotate |
| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| Mon, 23 Apr 2012 21:44:36 +0200 | wenzelm | more standard method setup; | file | diff | annotate |
| Thu, 12 Apr 2012 18:39:19 +0200 | wenzelm | more standard method setup; | file | diff | annotate |
| Thu, 15 Mar 2012 22:08:53 +0100 | wenzelm | declare command keywords via theory header, including strict checking outside Pure; | file | diff | annotate |