| Sun, 23 Apr 2017 19:17:04 +0200 | wenzelm | tuned messages; | changeset | files |
| 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 |