| Sat, 02 Sep 2000 21:56:24 +0200 | wenzelm | HOL/Lambda: converted into new-style theory and document; | file | diff | annotate |
| Thu, 30 Mar 2000 19:45:51 +0200 | nipkow | recdef.rules -> recdef.simps | file | diff | annotate |
| Tue, 17 Jun 1997 09:01:56 +0200 | nipkow | converse -> ^-1 | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Wed, 25 Oct 1995 09:49:35 +0100 | nipkow | Moved some thms to Arith and to Trancl. | file | diff | annotate |
| Wed, 11 Oct 1995 10:09:56 +0100 | nipkow | Commutation replaces Confluence | file | diff | annotate |