Tue, 18 Jul 2000 14:52:30 +0200 | wenzelm | replaced arities by instance; | file | diff | annotate |
Sun, 13 Jun 1999 13:54:34 +0200 | paulson | renamed pfix_[lg}e | file | diff | annotate |
Thu, 10 Jun 1999 10:24:32 +0200 | paulson | Generalized prefix theory, replacing the reference to directory Lex. | file | diff | annotate |