src/HOL/Lambda/ListBeta.thy
Mon, 04 Sep 2000 11:21:24 +0200 wenzelm tuned;
Sat, 02 Sep 2000 21:56:24 +0200 wenzelm HOL/Lambda: converted into new-style theory and document;
Fri, 01 Sep 2000 00:30:25 +0200 wenzelm converted Lambda scripts;
Thu, 31 Aug 2000 01:42:23 +0200 wenzelm ported HOL/Lambda/ListBeta;
Thu, 06 Aug 1998 10:33:54 +0200 nipkow First steps towards termination of simply typed terms.
less more (0) tip