author | haftmann |
Wed, 17 Nov 2010 11:38:47 +0100 | |
changeset 40586 | fe4f6703c59e |
parent 40585 | e14bbfee8804 |
child 40587 | 5206d19038c7 |
--- 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.