tuned comments;
authorwenzelm
Wed Jun 20 23:19:18 2007 +0200 (2007-06-20)
changeset 234471f16190e3836
parent 23446 1794387c79a2
child 23448 020381339d87
tuned comments;
src/HOL/Tools/metis_tools.ML
     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 =