| Tue, 14 Oct 1997 13:58:47 +0200 | nipkow | More lemmas, esp. ~Bex and ~Ball conversions. | changeset | files |
| Tue, 14 Oct 1997 12:41:11 +0200 | nipkow | Added neagtion rules for Ball and Bex. | changeset | files |
| Tue, 14 Oct 1997 11:57:14 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 14 Oct 1997 11:30:35 +0200 | wenzelm | browser info; | changeset | files |
| Tue, 14 Oct 1997 10:52:17 +0200 | paulson | rearranged and added TLA | changeset | files |
| Mon, 13 Oct 1997 17:49:50 +0200 | wenzelm | fixed extern; | changeset | files |
| Mon, 13 Oct 1997 17:49:08 +0200 | wenzelm | uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity; | changeset | files |