src/HOL/Metis.thy
author wenzelm
Wed Jun 20 22:07:52 2007 +0200 (2007-06-20)
changeset 23442 028e39e5e8f3
permissions -rw-r--r--
The Metis prover (slightly modified version from Larry);
wenzelm@23442
     1
(*  Title:      HOL/Metis.thy
wenzelm@23442
     2
    ID:         $Id$
wenzelm@23442
     3
*)
wenzelm@23442
     4
wenzelm@23442
     5
header {* The Metis prover (version 2.0 from 2007) *}
wenzelm@23442
     6
wenzelm@23442
     7
theory Metis
wenzelm@23442
     8
imports Main
wenzelm@23442
     9
uses
wenzelm@23442
    10
  "~~/src/Tools/Metis/metis.ML"
wenzelm@23442
    11
  "Tools/metis_tools.ML"
wenzelm@23442
    12
begin
wenzelm@23442
    13
wenzelm@23442
    14
setup MetisTools.setup
wenzelm@23442
    15
wenzelm@23442
    16
end