doc-src/Inductive/Makefile
Mon, 10 May 1999 17:44:17 +0200 wenzelm tuned;
Mon, 12 May 1997 17:24:29 +0200 wenzelm 'dist', 'clean';
Mon, 12 May 1997 17:13:12 +0200 wenzelm moved here from ..
less more (0) tip