| Sun, 26 Sep 1999 16:39:54 +0200 | wenzelm | help: unkown theory context; | changeset | files |
| Sun, 26 Sep 1999 16:38:50 +0200 | wenzelm | ThmDatabase.print_thms_containing; | changeset | files |
| Sun, 26 Sep 1999 16:38:21 +0200 | wenzelm | added print_thms_containing; | changeset | files |
| Sat, 25 Sep 1999 13:25:16 +0200 | wenzelm | defs: axmdecl; | changeset | files |
| Sat, 25 Sep 1999 13:23:58 +0200 | wenzelm | simplified sectioned_args; | changeset | files |
| Sat, 25 Sep 1999 13:20:12 +0200 | wenzelm | added reset_thms; | changeset | files |
| Sat, 25 Sep 1999 13:19:33 +0200 | wenzelm | added reset_thms; | changeset | files |
| Sat, 25 Sep 1999 13:18:38 +0200 | wenzelm | tuned; | changeset | files |