| Tue, 20 Jan 1998 18:26:26 +0100 | wenzelm | reorganized into individual theories; | file | diff | annotate |
| Fri, 10 Oct 1997 16:29:41 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Thu, 20 Mar 1997 10:47:29 +0100 | wenzelm | replaced ex.ML by ex/ROOT.ML, ex/ex.ML; | file | diff | annotate |