changeset 41959 | b460124855b8 |
parent 40293 | cd932ab8cb59 |
child 44471 | 3c2b2c4a7c1c |
--- a/src/HOL/Algebra/Congruence.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Algebra/Congruence.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: Algebra/Congruence.thy +(* Title: HOL/Algebra/Congruence.thy Author: Clemens Ballarin, started 3 January 2008 Copyright: Clemens Ballarin *)