Fri, 19 Oct 2007 23:21:13 +0200 | wenzelm | warn_open: context position; | file | diff | annotate |
Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | file | diff | annotate |
Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
Fri, 05 Oct 2007 23:04:17 +0200 | wenzelm | (co)induct: polymorhic taking''; | file | diff | annotate |
Fri, 05 Oct 2007 22:00:15 +0200 | wenzelm | tuned Induct interface: prefer pred'' over set''; | file | diff | annotate |
Thu, 04 Oct 2007 16:59:28 +0200 | wenzelm | Conv.forall_conv: proper context; | file | diff | annotate |
Thu, 04 Oct 2007 14:42:47 +0200 | wenzelm | moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML; | file | diff | annotate |