| Wed, 21 Dec 2016 16:14:47 +0100 | wenzelm | more explicit error; | changeset | files |
| Wed, 21 Dec 2016 16:02:52 +0100 | wenzelm | display messages, according to regular Isabelle Output; | changeset | files |
| Wed, 21 Dec 2016 11:55:59 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 21 Dec 2016 11:41:05 +0100 | wenzelm | clarified node_name: preserve original uri; | changeset | files |
| Wed, 21 Dec 2016 11:21:46 +0100 | wenzelm | clarified directories; | changeset | files |
| Fri, 23 Dec 2016 00:13:30 +0100 | blanchet | generalized generation of coinduction goal (towards nonuniform codatatypes) | changeset | files |
| Thu, 22 Dec 2016 19:14:58 +0100 | blanchet | export ML functions (towards nonuniform codatatypes) + signature tuning | changeset | files |