Thu, 21 Oct 1999 18:59:25 +0200 | wenzelm | end/kill_theory: check_known_thy; | changeset | files |
Thu, 21 Oct 1999 18:59:01 +0200 | wenzelm | added touch_child_thys; | changeset | files |
Thu, 21 Oct 1999 18:47:33 +0200 | wenzelm | \isakeyword: fixed italic correction; | changeset | files |