changeset 36745 | 403585a89772 |
parent 26806 | 40b411ec05aa |
child 42637 | 381fdcab0f36 |
36744:6e1f3d609a68 | 36745:403585a89772 |
---|---|
1 (* ID: $Id$ *) |
1 (* ID: $Id$ *) |
2 theory Relations imports Main begin |
2 theory Relations imports Main begin |
3 |
3 |
4 ML "Pretty.setmargin 64" |
4 ML "Pretty.margin_default := 64" |
5 |
5 |
6 (*Id is only used in UNITY*) |
6 (*Id is only used in UNITY*) |
7 (*refl, antisym,trans,univalent,\<dots> ho hum*) |
7 (*refl, antisym,trans,univalent,\<dots> ho hum*) |
8 |
8 |
9 text{* |
9 text{* |