| Mon, 09 Dec 2013 09:44:57 +0100 | blanchet | tuning -- moved ML files to subdirectory | file | diff | annotate |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | added 'no_code' option | file | diff | annotate |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | generalized datatype code generation code so that it works with old-style and new-style (co)datatypes (as long as they are not local) | file | diff | annotate |
| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | moved 'Ctr_Sugar' further up the theory hierarchy, so that 'Datatype' can use it | file | diff | annotate |
| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | tuned headers | file | diff | annotate |
| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | moved 'Ctr_Sugar' files out of BNF, so that it can become a general-purpose abstraction | file | diff | annotate | base |