| Sun, 23 Apr 2017 19:06:53 +0200 | wenzelm | actually use theory; | changeset | files |
| Sun, 23 Apr 2017 18:54:18 +0200 | wenzelm | renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library; | changeset | files |
| Sun, 23 Apr 2017 18:47:56 +0200 | wenzelm | support for Mercurial manifest check; | changeset | files |