aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/ChangeLog4
-rw-r--r--src/algebra/mappkg.spad.pamphlet8
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