Mon, 17 Aug 1998 11:00:27 +0200 | nipkow | Additions to Lex. | changeset | files |
Fri, 14 Aug 1998 18:37:28 +0200 | paulson | got rid of some goal thy commands | changeset | files |
Fri, 14 Aug 1998 13:52:42 +0200 | paulson | now trans_tac is part of the claset... | changeset | files |