From cc81819b09532cf843d21cff94bf18bd1127d9fd Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 12 Nov 2007 07:33:23 +0000 Subject: * mappkg.spad.pamphlet: Through use "import" for importing packages. --- src/algebra/mappkg.spad.pamphlet | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/algebra/mappkg.spad.pamphlet') 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 -- cgit v1.2.3