| Thu, 20 Feb 2014 11:40:03 +0100 |
traytel |
made tactics more robust
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 12:04:21 +0100 |
traytel |
another simplification of internal codatatype construction
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 09:50:50 +0100 |
traytel |
simplifications of internal codatatype construction
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 14:51:26 +0100 |
traytel |
syntactic simplifications of internal (co)datatype constructions
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 08:35:57 +0100 |
blanchet |
renamed '{prod,sum,bool,unit}_case' to 'case_...'
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 08:35:56 +0100 |
blanchet |
se 'wrap_free_constructors' to register 'sum' , 'prod', 'unit', 'bool' with their discriminators/selectors
|
file |
diff |
annotate
|
| Fri, 31 Jan 2014 10:02:36 +0100 |
traytel |
less hermetic tactics
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
tuned names
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
adjusted comments
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
avoid nested 'Tools' directories
|
file |
diff |
annotate
| base
|