| 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 |