Sun, 30 Jul 2000 12:51:33 +0200 | wenzelm | added is_judgment; | changeset | files |
Sun, 30 Jul 2000 12:50:51 +0200 | wenzelm | ObtainFun (generalized existence reasoning); | changeset | files |
Sun, 30 Jul 2000 12:50:33 +0200 | wenzelm | ThmDeps.enable; | changeset | files |