| Sat, 31 Dec 2005 13:03:55 +0100 | wenzelm | more robust phantomsection; | changeset | files |
| Fri, 30 Dec 2005 16:57:00 +0100 | wenzelm | require cla_dist_concl, avoid assumptions about concrete syntax; | changeset | files |
| Fri, 30 Dec 2005 16:56:59 +0100 | wenzelm | avoid implicit assumptions about consts Not, op =, *Goal*, *False*; | changeset | files |