changeset 15600 | a59f07556a8d |
parent 15587 | f363e6e080e7 |
child 15930 | 145651bc64a8 |
15599:10cedbd5289e | 15600:a59f07556a8d |
---|---|
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) |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 |
5 |
6 Definition of class porder (partial order). |
6 Definition of class porder (partial order). |