diff options
Diffstat (limited to 'src/algebra/pattern.spad.pamphlet')
| -rw-r--r-- | src/algebra/pattern.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet index fe011879..c446462f 100644 --- a/src/algebra/pattern.spad.pamphlet +++ b/src/algebra/pattern.spad.pamphlet @@ -34,7 +34,7 @@ Pattern(R:SetCategory): Exports == Implementation where PAT ==> Union(ret:R, ker: KER, exp:REC, qot: QOT, sym:RSY) -- the following MUST be the name of the formal exponentiation operator - POWER ==> "%power"::Symbol + POWER ==> '%power -- the 4 SYM_ constants must be disting powers of 2 (bitwise arithmetic) SYM_GENERIC ==> 1::SI @@ -511,6 +511,8 @@ Patternable(R:Type): Category == with <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |