| Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Aug 2013 11:49:58 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
changeset |
files
|
| Mon, 12 Aug 2013 15:48:57 +0200 |
blanchet |
tuned messages
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:17 +0200 |
blanchet |
clarified option name (since case/fold/rec are also destructors)
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:17 +0200 |
blanchet |
define case constant from other 'free constructor' axioms
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:16 +0200 |
blanchet |
introduced case tactics
|
changeset |
files
|
| Mon, 12 Aug 2013 15:25:16 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Mon, 12 Aug 2013 09:51:00 +0200 |
blanchet |
handle both TVars and TFrees -- necessary for 'wrap_free_constructors'
|
changeset |
files
|
| Mon, 12 Aug 2013 09:38:42 +0200 |
blanchet |
qualify map and rel names
|
changeset |
files
|
| Mon, 12 Aug 2013 09:08:42 +0200 |
blanchet |
reverted ill-advised naming scheme of 5a77edcdbe54
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
made (hopefully temporary) hack more robust
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
added warning
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
gracefully handle one more error condition
|
changeset |
files
|
| Sun, 11 Aug 2013 23:35:59 +0200 |
blanchet |
gracefully fail to define polymorphic (co)datatypes in local context
|
changeset |
files
|