| Wed, 03 Sep 2014 00:06:27 +0200 |
blanchet |
commented out failing tactic (now that 'typerep' is defined using the new package
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:26 +0200 |
blanchet |
tuned imports
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:25 +0200 |
blanchet |
use 'datatype_new'
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:24 +0200 |
blanchet |
use 'datatype_new' in 'Main'
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:23 +0200 |
blanchet |
take out 'x = C' of the simplifier for unit types
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:22 +0200 |
blanchet |
giving up calling 'datatype_compat' in a locale -- causes trouble with extensions
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:22 +0200 |
blanchet |
ported 'Statespace' to support new datatypes as well
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:21 +0200 |
blanchet |
use 'datatype_new' in Quickcheck examples
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:19 +0200 |
blanchet |
more compatibility functions
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:18 +0200 |
blanchet |
codatatypes are not datatypes
|
changeset |
files
|
| Wed, 03 Sep 2014 00:06:17 +0200 |
blanchet |
ported Quickcheck to support new datatypes better
|
changeset |
files
|
| Tue, 02 Sep 2014 23:59:49 +0200 |
blanchet |
removed more slow Refute tests
|
changeset |
files
|