changeset 43107 | 5792d6bb4fb1 |
parent 43041 | 218e3943d504 |
child 43116 | e0add071fa10 |
--- 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)