| 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 |