| Tue, 25 Jul 2000 17:47:55 +0200 | nipkow | Replaced force by fast because force may now take forever to fail | changeset | files |
| Tue, 25 Jul 2000 09:48:39 +0200 | nipkow | new constant same_fst | changeset | files |
| Tue, 25 Jul 2000 01:27:36 +0200 | wenzelm | by (CLASIMPSET auto_tac); | changeset | files |
| Tue, 25 Jul 2000 00:13:49 +0200 | wenzelm | added clarify method; | changeset | files |