| Wed, 23 Jul 2014 15:00:46 +0200 | wenzelm | clarified display; | changeset | files |
| Wed, 23 Jul 2014 14:50:20 +0200 | wenzelm | avoid redundant data structure; | changeset | files |
| Wed, 23 Jul 2014 13:01:30 +0200 | wenzelm | more explicit discrimination of empty nodes -- suppress from Theories panel; | changeset | files |