From 419a88b7d6a8c0248c17c47a9a46b0aab0b5936f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 11 Jul 2008 00:10:17 +0000
Subject: * interp/compiler.boot (compQuote): Restrict quoting to
literal symbols. * algebra/any.spad.pamphlet: Use nil for empty
list. * algebra/boolean.spad.pamphlet: Fix quoting.
---
src/algebra/boolean.spad.pamphlet | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'src/algebra/boolean.spad.pamphlet')
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index b9761dcc..5ebd188d 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -253,7 +253,7 @@ PropositionalFormula(T: PropositionalLogic): PropositionalLogic with
notFormula(p: %): OutputForm ==
not? p =>
- elt(outputForm '_not, [notFormula((rep p).'unForm)])$OutputForm
+ elt(outputForm '_not, [notFormula((rep p).unForm)])$OutputForm
primaryFormula p
andFormula(p: %): OutputForm ==
@@ -488,7 +488,7 @@ Boolean(): Join(OrderedSet, Finite, Logic, PropositionalLogic, ConvertibleTo Inp
test a == a
nt b == (b => false; true)
- true == 'T
+ true == 'T pretend %
false == NIL$Lisp
sample() == true
not b == (b => false; true)
--
cgit v1.2.3