diff options
Diffstat (limited to 'src/algebra/mappkg.spad.pamphlet')
| -rw-r--r-- | src/algebra/mappkg.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet index f4d18db3..6600874e 100644 --- a/src/algebra/mappkg.spad.pamphlet +++ b/src/algebra/mappkg.spad.pamphlet @@ -81,7 +81,7 @@ MappingPackageInternalHacks3(A: SetCategory, B: SetCategory, C: SetCategory):_ )abbrev package MAPPKG1 MappingPackage1 ++ Author: S.M.Watt and W.H.Burge ++ Date Created:Jan 87 -++ Date Last Updated:Feb 92 +++ Date Last Updated: November 12, 2007 ++ Basic Operations: ++ Related Domains: ++ Also See: @@ -123,7 +123,7 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where MPdef == add - MappingPackageInternalHacks1(A) + import MappingPackageInternalHacks1(A) a: A faa: A -> A @@ -177,7 +177,7 @@ MappingPackage2(A:SetCategory, C:SetCategory): MPcat == MPdef where MPdef == add - MappingPackageInternalHacks2(A, C) + import MappingPackageInternalHacks2(A, C) a: A c: C @@ -227,7 +227,7 @@ MappingPackage3(A:SetCategory, B:SetCategory, C:SetCategory):_ MPdef == add - MappingPackageInternalHacks3(A, B, C) + import MappingPackageInternalHacks3(A, B, C) a: A b: B |