| Wed, 19 Feb 2014 16:33:11 +0100 |
blanchet |
updated NEWS
|
changeset |
files
|
| Wed, 19 Feb 2014 16:32:37 +0100 |
blanchet |
merged 'List.set' with BNF-generated 'set'
|
changeset |
files
|
| Wed, 19 Feb 2014 22:02:23 +1100 |
kleing |
moved advanced folding into separate exercise
|
changeset |
files
|
| Wed, 19 Feb 2014 22:02:00 +1100 |
kleing |
tuned definition
|
changeset |
files
|
| Wed, 19 Feb 2014 12:04:21 +0100 |
traytel |
another simplification of internal codatatype construction
|
changeset |
files
|
| Wed, 19 Feb 2014 11:11:07 +0100 |
traytel |
reflect 207538943038 in NEWS
|
changeset |
files
|
| Wed, 19 Feb 2014 10:30:21 +0100 |
traytel |
reverted ba7392b52a7c: List_Prefix not needed anymore by codatatypes
|
changeset |
files
|
| Wed, 19 Feb 2014 10:21:02 +0100 |
traytel |
removed not anymore used constants and theorems
|
changeset |
files
|
| Wed, 19 Feb 2014 09:50:50 +0100 |
traytel |
simplifications of internal codatatype construction
|
changeset |
files
|
| Wed, 19 Feb 2014 08:34:34 +0100 |
blanchet |
adapted Nitpick to 'primrec' refactoring
|
changeset |
files
|
| Wed, 19 Feb 2014 08:34:33 +0100 |
blanchet |
moved 'primrec' up (for real this time) and removed temporary 'old_primrec'
|
changeset |
files
|
| Wed, 19 Feb 2014 08:34:32 +0100 |
blanchet |
rewrote a small portion of code to avoid dependency on low-level constant
|
changeset |
files
|