equal
deleted
inserted
replaced
488 'default_sort rep' declarations. INCOMPATIBILITY. |
488 'default_sort rep' declarations. INCOMPATIBILITY. |
489 |
489 |
490 * The 'bifinite' class no longer fixes a constant 'approx'; the class |
490 * The 'bifinite' class no longer fixes a constant 'approx'; the class |
491 now just asserts that such a function exists. INCOMPATIBILITY. |
491 now just asserts that such a function exists. INCOMPATIBILITY. |
492 |
492 |
493 * The type 'udom alg_defl' has been replaced by the non-parameterized |
493 * The type 'alg_defl' has been renamed to 'defl'. HOLCF no longer |
494 type 'defl'. HOLCF no longer defines an embedding of type defl into |
494 defines an embedding of type 'a defl into udom by default; instances |
495 udom by default; the instance proof defl :: domain is now available in |
495 of 'bifinite' and 'domain' classes are available in |
496 HOLCF/Library/Defl_Bifinite.thy. |
496 HOLCF/Library/Defl_Bifinite.thy. |
497 |
497 |
498 * The syntax 'REP('a)' has been replaced with 'DEFL('a)'. |
498 * The syntax 'REP('a)' has been replaced with 'DEFL('a)'. |
499 |
499 |
500 * The predicate 'directed' has been removed. INCOMPATIBILITY. |
500 * The predicate 'directed' has been removed. INCOMPATIBILITY. |