diff options
| -rw-r--r-- | src/algebra/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/mappkg.spad.pamphlet | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/src/algebra/ChangeLog b/src/algebra/ChangeLog index c04a0f3c..e0ed5d53 100644 --- a/src/algebra/ChangeLog +++ b/src/algebra/ChangeLog @@ -1,3 +1,7 @@ +2007-11-12 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * mappkg.spad.pamphlet: Through use "import" for importing packages. + 2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (mostlyclean-local): Remove stamp files and 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 |