Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
Thu, 26 Mar 2009 14:14:02 +0100 | wenzelm | simplified attribute and method setup: eliminating bottom-up styles makes it easier to keep things in one place, and also SML/NJ happy; | file | diff | annotate |
Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | file | diff | annotate |
Sat, 26 Jan 2008 17:08:38 +0100 | wenzelm | tuned attribute syntax -- no need for eta-expansion; | file | diff | annotate |
Sun, 22 Jul 2007 17:53:55 +0200 | chaieb | Context data for QE in DLO (Langford's algorithm) | file | diff | annotate |