Tue, 19 Aug 2014 09:34:30 +0200 |
blanchet |
don't note low-level (co)datatype theorems, unless 'bnf_note_all' is set
|
file |
diff |
annotate
|
Mon, 18 Aug 2014 17:19:58 +0200 |
blanchet |
reordered some (co)datatype property names for more consistency
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 15:25:21 +0100 |
blanchet |
renamed 'sum_rel' to 'rel_sum'
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 14:57:14 +0100 |
blanchet |
renamed 'set_rel' to 'rel_set'
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 13:36:49 +0100 |
blanchet |
renamed 'fset_rel' to 'rel_fset'
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 13:36:15 +0100 |
blanchet |
renamed 'map_sum' to 'sum_map'
|
file |
diff |
annotate
|
Mon, 03 Mar 2014 12:48:20 +0100 |
blanchet |
adapted to absence of 'unfold'
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
dissolved BNF session
|
file |
diff |
annotate
|
Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
moved BNF examples
|
file |
diff |
annotate
| base
|