equal
deleted
inserted
replaced
1 (* ID : $Id$ |
1 (* Author: Tobias Nipkow *) |
2 Author : Tobias Nipkow |
|
3 *) |
|
4 |
2 |
5 header {* Orders as Relations *} |
3 header {* Orders as Relations *} |
6 |
4 |
7 theory Order_Relation |
5 theory Order_Relation |
8 imports Main |
6 imports Main |