| Sun, 14 Sep 2014 22:59:30 +0200 | blanchet | disable datatype 'plugins' for internal types | changeset | files |
| Sat, 13 Sep 2014 18:08:45 +0200 | blanchet | ported Imperative HOL to new datatypes | changeset | files |
| Sat, 13 Sep 2014 18:08:38 +0200 | blanchet | imported patch phantoms | changeset | files |
| Fri, 12 Sep 2014 17:51:31 +0200 | blanchet | enabled 'Sudoku' only with 'ISABELLE_FULL_TEST' -- Sudoku is fast enough on modern hardware (within seconds on my MacBook), but it seems to fail on older test machines | changeset | files |
| Fri, 12 Sep 2014 17:30:05 +0200 | blanchet | new datatype is too slow on the huge datatypes (at least the mutual ones) -- use 'old_datatype' instead | changeset | files |
| Fri, 12 Sep 2014 16:42:36 +0200 | blanchet | run larger nominal examples only 'ISABELLE_FULL_TEST' | changeset | files |
| Fri, 12 Sep 2014 13:50:55 +0200 | desharna | refactor repeated terms in a single variable | changeset | files |