Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Wed, 07 May 2008 10:59:34 +0200 | berghofe | Replaced union_empty2 by Un_empty_right. | file | diff | annotate |
Thu, 04 Oct 2007 12:32:58 +0200 | paulson | combinator translation | file | diff | annotate |
Sun, 30 Sep 2007 21:55:15 +0200 | wenzelm | avoid internal names; | file | diff | annotate |
Thu, 27 Sep 2007 17:55:28 +0200 | paulson | removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering | file | diff | annotate |
Tue, 18 Sep 2007 17:53:37 +0200 | paulson | metis now available in PreList | file | diff | annotate |
Wed, 11 Jul 2007 11:29:44 +0200 | berghofe | Adapted to changes in Predicate theory. | file | diff | annotate |
Fri, 29 Jun 2007 18:21:25 +0200 | paulson | bug fixes to proof reconstruction | file | diff | annotate |
Thu, 21 Jun 2007 13:23:33 +0200 | paulson | integration of Metis prover | file | diff | annotate |