aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/fnla.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/fnla.spad.pamphlet')
-rw-r--r--src/algebra/fnla.spad.pamphlet1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/fnla.spad.pamphlet b/src/algebra/fnla.spad.pamphlet
index e56534e4..3be85585 100644
--- a/src/algebra/fnla.spad.pamphlet
+++ b/src/algebra/fnla.spad.pamphlet
@@ -63,6 +63,7 @@ Commutator: Export == Implement where
++ mkcomm(i,j) \undocumented{}
Implement == add
+ import OSI
P := Record(left:%,right:%)
Rep := Union(OSI,P)
x,y: %