Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Wed, 27 Nov 2002 17:06:47 +0100 | berghofe | Changed format of realizers / correctness proofs. | file | diff | annotate |
Wed, 13 Nov 2002 15:28:41 +0100 | berghofe | prove_goal' -> Goal.simple_prove_goal_cterm | file | diff | annotate |
Mon, 21 Oct 2002 16:57:39 +0200 | berghofe | Changed type of Logic.strip_horn. | file | diff | annotate |
Thu, 10 Oct 2002 14:26:50 +0200 | berghofe | Reimplemented parts of datatype package dealing with datatypes involving | file | diff | annotate |
Wed, 07 Aug 2002 16:46:15 +0200 | berghofe | Module for defining realizers for induction and case analysis theorems | file | diff | annotate |