equal
deleted
inserted
replaced
3 Author: Franz Regensburger |
3 Author: Franz Regensburger |
4 |
4 |
5 Top theory for HOLCF system. |
5 Top theory for HOLCF system. |
6 *) |
6 *) |
7 |
7 |
8 HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr |
8 HOLCF = Sprod + Ssum + Up + Lift + Discrete + One + Tr |