equal
deleted
inserted
replaced
1 (* ID: $Id$ *) |
|
2 theory Relations imports Main begin |
1 theory Relations imports Main begin |
3 |
2 |
4 ML "Pretty.margin_default := 64" |
3 ML "Pretty.margin_default := 64" |
5 |
4 |
6 (*Id is only used in UNITY*) |
5 (*Id is only used in UNITY*) |