# HG changeset patch
# User blanchet
# Date 1306852716 -7200
# Node ID 5792d6bb4fb163aca2488f82a877bceb1128f740
# Parent  6ec2a3c7b69ea43b9f283b77242f2bc58a3ec29a
fixed comment

diff -r 6ec2a3c7b69e -r 5792d6bb4fb1 src/HOL/Tools/monomorph.ML
--- a/src/HOL/Tools/monomorph.ML	Tue May 31 16:38:36 2011 +0200
+++ b/src/HOL/Tools/monomorph.ML	Tue May 31 16:38:36 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/SMT/monomorph.ML
+(*  Title:      HOL/Tools/monomorph.ML
     Author:     Sascha Boehme, TU Muenchen
 
 Monomorphization of theorems, i.e., computation of all (necessary)