src/HOL/PreList.thy
Mon, 08 May 2000 20:59:30 +0200 wenzelm moved theory Sexp to Induct examples;
Fri, 21 Apr 2000 11:28:18 +0200 paulson new file Integ/NatSimprocs.ML
Fri, 24 Mar 2000 08:56:48 +0100 nipkow comments
Thu, 16 Mar 2000 00:35:27 +0100 wenzelm added HOL/PreLIst.thy;
less more (0) tip