| changeset 36754 | 403585a89772 |
| parent 26806 | 40b411ec05aa |
| child 43508 | 381fdcab0f36 |
| 36753:6e1f3d609a68 | 36754: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{* |