doc-src/Logics/Old_HOL.tex
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Thu, 17 Apr 1997 18:10:49 +0200 paulson Corrected the informal description of coinductive definition
Wed, 03 May 1995 12:17:30 +0200 lcp trivial change
Fri, 13 Jan 1995 02:00:43 +0100 lcp Corrected indexing of *datatype
Mon, 02 Jan 1995 12:16:12 +0100 wenzelm fixed minor typos;
Fri, 11 Nov 1994 10:50:49 +0100 lcp removal of HOL_dup_cs
Wed, 12 Oct 1994 09:20:17 +0100 lcp Moving theory LList to ex directory
less more (0) -10 -7 tip