src/HOL/Tools/metis_tools.ML
changeset 23447 1f16190e3836
parent 23442 028e39e5e8f3
child 24041 d5845b7c1a24
     1.1 --- a/src/HOL/Tools/metis_tools.ML	Wed Jun 20 23:19:17 2007 +0200
     1.2 +++ b/src/HOL/Tools/metis_tools.ML	Wed Jun 20 23:19:18 2007 +0200
     1.3 @@ -1,6 +1,8 @@
     1.4  (*  Title:      HOL/Tools/metis_tools.ML
     1.5      Author:     Kong W. Susanto and Lawrence C. Paulson, CU Computer Laboratory
     1.6      Copyright   Cambridge University 2007
     1.7 +
     1.8 +HOL setup for the Metis prover (version 2.0 from 2007).
     1.9  *)
    1.10  
    1.11  signature METIS_TOOLS =