doc-src/Inductive/ind-defs.tex
 author wenzelm Mon Aug 28 13:52:38 2000 +0200 (2000-08-28) changeset 9695 ec7d7f877712 parent 7829 c2672c537894 child 42637 381fdcab0f36 permissions -rw-r--r--
proper setup of iman.sty/extra.sty/ttbox.sty;