doc-src/Intro/intro.bbl
Thu, 10 Aug 1995 13:14:34 +0200 paulson Trivial reformatting of reference
Wed, 19 Jul 1995 15:53:43 +0200 nipkow Updated nipkow-prehofer
Tue, 03 May 1994 18:38:28 +0200 lcp final Springer version
Wed, 10 Nov 1993 05:06:55 +0100 lcp Initial revision
less more (0) tip