equal
deleted
inserted
replaced
1 (* Title: HOLCF/Sprod1.ML |
1 (* Title: HOLCF/Sprod1.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Franz Regensburger |
3 Author: Franz Regensburger |
4 Copyright 1993 Technische Universitaet Muenchen |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 |
|
6 *) |
5 *) |
7 |
6 |
8 (* ------------------------------------------------------------------------ *) |
7 (* ------------------------------------------------------------------------ *) |
9 (* less_sprod is a partial order on Sprod *) |
8 (* less_sprod is a partial order on Sprod *) |
10 (* ------------------------------------------------------------------------ *) |
9 (* ------------------------------------------------------------------------ *) |