equal
deleted
inserted
replaced
1 (* Title: HOLCF/Porder.thy |
1 (* Title: HOLCF/Porder.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Franz Regensburger |
3 Author: Franz Regensburger |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 |
4 |
6 Definition of class porder (partial order). |
5 Definition of class porder (partial order). |
7 Conservative extension of theory Porder0 by constant definitions |
6 Conservative extension of theory Porder0 by constant definitions. |
8 *) |
7 *) |
9 |
8 |
10 header {* Partial orders *} |
9 header {* Partial orders *} |
11 |
10 |
12 theory Porder |
11 theory Porder |