# HG changeset patch
# User wenzelm
# Date 1182374358 -7200
# Node ID 1f16190e38365737fd5e1bfe1b87c717530d0c60
# Parent  1794387c79a2f99978a426fc154556d1854ad85f
tuned comments;

diff -r 1794387c79a2 -r 1f16190e3836 src/HOL/Tools/metis_tools.ML
--- a/src/HOL/Tools/metis_tools.ML	Wed Jun 20 23:19:17 2007 +0200
+++ b/src/HOL/Tools/metis_tools.ML	Wed Jun 20 23:19:18 2007 +0200
@@ -1,6 +1,8 @@
 (*  Title:      HOL/Tools/metis_tools.ML
     Author:     Kong W. Susanto and Lawrence C. Paulson, CU Computer Laboratory
     Copyright   Cambridge University 2007
+
+HOL setup for the Metis prover (version 2.0 from 2007).
 *)
 
 signature METIS_TOOLS =