src/Tools/induct.ML
Fri, 05 Oct 2007 23:04:17 +0200 wenzelm (co)induct: polymorhic taking'';
Fri, 05 Oct 2007 22:00:15 +0200 wenzelm tuned Induct interface: prefer pred'' over set'';
Thu, 04 Oct 2007 16:59:28 +0200 wenzelm Conv.forall_conv: proper context;
less more (0) tip