| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| 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 |