Sun, 17 Sep 2000 22:24:52 +0200 | wenzelm | AddXIs [ext]; | changeset | files |
Sun, 17 Sep 2000 22:23:48 +0200 | wenzelm | added print_thm(s)_sg; | changeset | files |
Sun, 17 Sep 2000 22:22:11 +0200 | wenzelm | begin_theory: removed message; | changeset | files |