Mon, 18 Sep 2000 14:10:31 +0200 | wenzelm | indicate occurrences of 'handle _'; | changeset | files |
Sun, 17 Sep 2000 22:51:20 +0200 | wenzelm | removed -x option; | changeset | files |
Sun, 17 Sep 2000 22:50:10 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Sun, 17 Sep 2000 22:25:18 +0200 | wenzelm | AddXIs [prod_eqI]; | changeset | files |
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 |