| Fri, 07 Mar 2014 10:22:27 +0100 |
wenzelm |
modernized theory setup;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 07:53:46 +0100 |
blanchet |
renamed 'wrap_free_constructors' to 'free_constructors' (cf. 'functor', 'bnf', etc.)
|
file |
diff |
annotate
|
| Wed, 29 Jan 2014 15:05:53 +0100 |
blanchet |
added Dmitriy, since he did the case syntax
|
file |
diff |
annotate
|
| 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
|