doc-src/Inductive/ind-defs.bbl
Fri, 23 Jan 1998 13:47:37 +0100 paulson Updated MOD reference
Sat, 01 Nov 1997 12:58:08 +0100 paulson Auto update
Mon, 12 May 1997 17:13:12 +0200 wenzelm moved here from ..
less more (0) tip