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);
     1 (*  Title:      HOL/Metis.thy
     2     ID:         $Id$
     3 *)
     4 
     5 header {* The Metis prover (version 2.0 from 2007) *}
     6 
     7 theory Metis
     8 imports Main
     9 uses
    10   "~~/src/Tools/Metis/metis.ML"
    11   "Tools/metis_tools.ML"
    12 begin
    13 
    14 setup MetisTools.setup
    15 
    16 end