changeset 37744 | 3daaf23b9ab4 |
parent 37592 | e16495cfdde0 |
child 38624 | 9bb0016f7e60 |
--- a/src/HOL/Tools/Quotient/quotient_def.ML Thu Jul 08 16:19:23 2010 +0200 +++ b/src/HOL/Tools/Quotient/quotient_def.ML Thu Jul 08 16:19:24 2010 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/Quotient/quotient_def.thy +(* Title: HOL/Tools/Quotient/quotient_def.ML Author: Cezary Kaliszyk and Christian Urban Definitions for constants on quotient types.