author | bulwahn |
Fri, 18 Nov 2011 13:42:07 +0100 | |
changeset 46447 | 6ea2bba2694a |
parent 46446 | 3a865fc42bbf |
child 46448 | 33b964e117bd |
1.1 --- a/src/HOL/Quotient_Examples/Lift_Set.thy Fri Nov 18 11:47:12 2011 +0100 1.2 +++ b/src/HOL/Quotient_Examples/Lift_Set.thy Fri Nov 18 13:42:07 2011 +0100 1.3 @@ -1,4 +1,4 @@ 1.4 -(* Title: HOL/Quotient.thy 1.5 +(* Title: HOL/Quotient_Examples/Lift_Set.thy 1.6 Author: Lukas Bulwahn and Ondrey Kuncar 1.7 *) 1.8