aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/patmatch1.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/patmatch1.spad.pamphlet')
-rw-r--r--src/algebra/patmatch1.spad.pamphlet6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/patmatch1.spad.pamphlet b/src/algebra/patmatch1.spad.pamphlet
index 87abc55b..8d6408ed 100644
--- a/src/algebra/patmatch1.spad.pamphlet
+++ b/src/algebra/patmatch1.spad.pamphlet
@@ -268,8 +268,8 @@ PatternMatchKernel(S, E): Exports == Implementation where
PAT ==> Pattern S
PRS ==> PatternMatchResult(S, E)
- POWER ==> "%power"::Symbol
- NTHRT ==> "nthRoot"::Symbol
+ POWER ==> '%power
+ NTHRT ==> 'nthRoot
Exports ==> with
patternMatch: (Kernel E, PAT, PRS) -> PRS
@@ -663,6 +663,8 @@ PatternMatchListAggregate(S, R, L): Exports == Implementation where
<<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