Fri, 26 Sep 1997 10:12:04 +0200 | wenzelm | eliminated rules; | changeset | files |
Thu, 25 Sep 1997 13:25:50 +0200 | paulson | Clarify_tac and some textual improvements | changeset | files |
Thu, 25 Sep 1997 13:23:41 +0200 | paulson | Clarify_tac; general reorganization | changeset | files |