Tue, 29 Aug 2000 00:57:24 +0200 | wenzelm | Lambda/InductTermi made new-style theory; | file | diff | annotate |
Wed, 21 Jun 2000 18:14:28 +0200 | wenzelm | fixed deps; | file | diff | annotate |
Wed, 21 Oct 1998 17:48:02 +0200 | berghofe | Changed syntax of inductive. | file | diff | annotate |
Thu, 06 Aug 1998 10:33:54 +0200 | nipkow | First steps towards termination of simply typed terms. | file | diff | annotate |