equal
deleted
inserted
replaced
1 (* Title: HOLCF/ROOT.ML |
1 (* Title: HOL/HOLCF/ROOT.ML |
2 Author: Franz Regensburger |
2 Author: Franz Regensburger |
3 |
3 |
4 HOLCF -- a semantic extension of HOL by the LCF logic. |
4 HOLCF -- a semantic extension of HOL by the LCF logic. |
5 *) |
5 *) |
6 |
6 |