From 3ca41ddb56efd927b46da41d9ce369c31538e3b3 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 21 Feb 2010 00:48:28 +0000
Subject: 	* algebra/boolean.spad.pamphlet (PropositionalFormula): 
 Reimplement in terms of kernels. 	* algebra/Makefile.pamphlet
 ($(OUT)/KERNEL.$(FASLEXT)): New 	dependence rule. 
 ($(OUT)PROPFRML.$(FASLEXT)): Likewise. 	(axiom_algebra_layer_19): Move
 PROPFRML to... 	(axiom_algebra_layer_6): ...here.

---
 src/algebra/kl.spad.pamphlet | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/algebra/kl.spad.pamphlet')

diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet
index 28c7951f..d4211501 100644
--- a/src/algebra/kl.spad.pamphlet
+++ b/src/algebra/kl.spad.pamphlet
@@ -119,12 +119,12 @@ SortedCache(S:CachableSet): Exports == Implementation where
 ++ A kernel over a set S is an operator applied to a given list
 ++ of arguments from S.
 Kernel(S: SetCategory): Exports == Implementation where
-  O  ==> OutputForm
-  N  ==> NonNegativeInteger
-  OP ==> BasicOperator
+  macro O  == OutputForm
+  macro N  == NonNegativeInteger
+  macro OP == BasicOperator
 
 
-  Exports ==> Join(CachableSet, OrderedSet, Patternable S) with
+  Exports == Join(CachableSet, OrderedSet, Patternable S) with
     operator: % -> OP
       ++ operator(op(a1,...,an)) returns the operator op.
     argument: % -> List S
@@ -157,7 +157,7 @@ Kernel(S: SetCategory): Exports == Implementation where
     macro SPECIALINPUT == '%specialInput
     import SortedCache(%)
 
-    Rep == Record(op:OP, arg:List S, nest:N, posit:N)
+    Rep == Record(op: OP, arg: List S, nest: N, posit: N)
 
     clearCache()
 
-- 
cgit v1.2.3