Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
Tue, 10 Jun 2008 15:30:33 +0200 | haftmann | rep_datatype command now takes list of constructors as input arguments | file | diff | annotate |
Sat, 21 Jul 2007 23:25:00 +0200 | wenzelm | tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.); | file | diff | annotate |
Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
Wed, 22 Dec 2004 11:36:33 +0100 | nipkow | [ .. (] -> [ ..< ] | file | diff | annotate |
Thu, 30 May 2002 10:12:52 +0200 | nipkow | Modifications due to enhanced linear arithmetic. | file | diff | annotate |
Tue, 05 Mar 2002 17:11:25 +0100 | prensani | HoareParallel Theories | file | diff | annotate |