diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-11-12 07:33:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-11-12 07:33:23 +0000 |
| commit | cc81819b09532cf843d21cff94bf18bd1127d9fd (patch) | |
| tree | af5c45cc0b4670f27bd52127a0ba20676c34ee78 /src/algebra/mappkg.spad.pamphlet | |
| parent | 2de9e63b642be619b8ea6889fb9f78dd31b50675 (diff) | |
| download | open-axiom-cc81819b09532cf843d21cff94bf18bd1127d9fd.tar.gz | |
* mappkg.spad.pamphlet: Through use "import" for importing packages.
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 |