src/Tools/induct.ML
Sat, 15 Mar 2008 22:07:32 +0100 wenzelm tuned messages;
Sat, 26 Jan 2008 20:01:37 +0100 wenzelm avoid redundant escaping of Isabelle symbols;
Thu, 24 Jan 2008 23:51:20 +0100 wenzelm replaced ContextPosition by Position.thread_data;
Fri, 19 Oct 2007 23:21:13 +0200 wenzelm warn_open: context position;
Tue, 09 Oct 2007 00:20:13 +0200 wenzelm generic Syntax.pretty/string_of operations;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
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;
Thu, 04 Oct 2007 14:42:47 +0200 wenzelm moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
less more (0) tip