| Tue, 12 Nov 2013 13:47:24 +0100 |
blanchet |
ported 'Simps_Case_Conv' to use new 'Ctr_Sugar' abstraction
|
changeset |
files
|
| Tue, 12 Nov 2013 13:47:24 +0100 |
blanchet |
register old-style datatypes as 'Ctr_Sugar'
|
changeset |
files
|
| Tue, 12 Nov 2013 13:47:24 +0100 |
blanchet |
export useful ML function
|
changeset |
files
|
| Tue, 12 Nov 2013 13:47:24 +0100 |
blanchet |
moved 'Ctr_Sugar' further up the theory hierarchy, so that 'Datatype' can use it
|
changeset |
files
|
| Tue, 12 Nov 2013 13:47:24 +0100 |
blanchet |
tuned headers
|
changeset |
files
|
| 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
|
changeset |
files
|
| Tue, 12 Nov 2013 12:04:17 +0100 |
wenzelm |
updated sessions;
|
changeset |
files
|
| Tue, 12 Nov 2013 11:52:42 +0100 |
wenzelm |
proper latex -- NB: cannot use antiquotation here;
|
changeset |
files
|
| Mon, 11 Nov 2013 22:00:57 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 11 Nov 2013 21:28:08 +0100 |
wenzelm |
simplified App template;
|
changeset |
files
|
| Mon, 11 Nov 2013 21:20:51 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Mon, 11 Nov 2013 21:16:23 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|