equal
deleted
inserted
replaced
651 nonstandard types like "'a star", the command "apply transfer" |
651 nonstandard types like "'a star", the command "apply transfer" |
652 replaces it with an equivalent one that mentions only standard types. |
652 replaces it with an equivalent one that mentions only standard types. |
653 To be successful, all free variables must have standard types; non- |
653 To be successful, all free variables must have standard types; non- |
654 standard variables must have explicit universal quantifiers. |
654 standard variables must have explicit universal quantifiers. |
655 |
655 |
|
656 * Hyperreal: A theory of Taylor series. |
|
657 |
656 |
658 |
657 *** HOLCF *** |
659 *** HOLCF *** |
658 |
660 |
659 * Discontinued special version of 'constdefs' (which used to support |
661 * Discontinued special version of 'constdefs' (which used to support |
660 continuous functions) in favor of the general Pure one with full |
662 continuous functions) in favor of the general Pure one with full |