changeset 41959 | b460124855b8 |
parent 40293 | cd932ab8cb59 |
child 44471 | 3c2b2c4a7c1c |
41958:5abc60a017e0 | 41959:b460124855b8 |
---|---|
1 (* Title: Algebra/Congruence.thy |
1 (* Title: HOL/Algebra/Congruence.thy |
2 Author: Clemens Ballarin, started 3 January 2008 |
2 Author: Clemens Ballarin, started 3 January 2008 |
3 Copyright: Clemens Ballarin |
3 Copyright: Clemens Ballarin |
4 *) |
4 *) |
5 |
5 |
6 theory Congruence |
6 theory Congruence |