doc-src/HOL/logics-HOL.tex
Tue, 12 Oct 1999 18:59:45 +0200 wenzelm a4paper;
Fri, 03 Sep 1999 16:11:03 +0200 wenzelm fixed usepackage;
Mon, 10 May 1999 17:02:05 +0200 wenzelm tuned;
Mon, 10 May 1999 15:26:30 +0200 wenzelm pdf setup;
Thu, 06 May 1999 11:13:01 +0200 nipkow New title page.
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Wed, 05 May 1999 09:43:53 +0200 nipkow Bibtex stuff.
Tue, 04 May 1999 18:03:56 +0200 wenzelm used to be part of 'logics' manual;
less more (0) tip