# HG changeset patch
# User haftmann
# Date 1289990327 -3600
# Node ID fe4f6703c59e93e4bbb602c0389e2f1644720ef1
# Parent  e14bbfee8804a70211bef382c4344e8714c66250
fixed typo

diff -r e14bbfee8804 -r fe4f6703c59e src/HOL/Tools/functorial_mappers.ML
--- a/src/HOL/Tools/functorial_mappers.ML	Wed Nov 17 11:38:46 2010 +0100
+++ b/src/HOL/Tools/functorial_mappers.ML	Wed Nov 17 11:38:47 2010 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/functorial-mappers.ML
+(*  Title:      HOL/Tools/functorial_mappers.ML
     Author:     Florian Haftmann, TU Muenchen
 
 Functorial mappers on types.