| changeset 3821 | 151d49052228 |
| parent 2907 | 0e272e4c7cb2 |
| child 5069 | 3ea049f7979d |
| 3820:46b255e140dc | 3821:151d49052228 |
|---|---|
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Markus Wenzel, TU Muenchen |
3 Author: Markus Wenzel, TU Muenchen |
4 |
4 |
5 Some basic theorems of group theory. |
5 Some basic theorems of group theory. |
6 *) |
6 *) |
7 |
|
8 open Group; |
|
9 |
7 |
10 fun sub r = standard (r RS subst); |
8 fun sub r = standard (r RS subst); |
11 fun ssub r = standard (r RS ssubst); |
9 fun ssub r = standard (r RS ssubst); |
12 |
10 |
13 |
11 |