| changeset 41460 | ea56b98aee83 |
| parent 21404 | eb85850d3eb7 |
| child 58889 | 5b7a9633cfa8 |
| 41441:a7a03f856354 | 41460:ea56b98aee83 |
|---|---|
1 (* Title: HOL/ex/MonoidGroup.thy |
1 (* Title: HOL/ex/MonoidGroup.thy |
2 ID: $Id$ |
|
3 Author: Markus Wenzel |
2 Author: Markus Wenzel |
4 *) |
3 *) |
5 |
4 |
6 header {* Monoids and Groups as predicates over record schemes *} |
5 header {* Monoids and Groups as predicates over record schemes *} |
7 |
6 |