changeset 23447 | 1f16190e3836 |
parent 23442 | 028e39e5e8f3 |
child 24041 | d5845b7c1a24 |
--- 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 =