doc-src/manual.bib
Mon, 10 May 1999 16:47:53 +0200 wenzelm axclass;
Mon, 10 May 1999 15:17:14 +0200 wenzelm fixed URLs;
Fri, 07 May 1999 10:48:56 +0200 paulson new refererences for Inductive manual, but still incomplete
Thu, 06 May 1999 11:48:26 +0200 nipkow More refs.
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
less more (0) tip