From 15dcc4936996a27019112ff58e9202a81d792047 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 17 Jan 2008 14:27:29 +0000
Subject: 	Fix SF/1849734 	* interp/i-spec1.boot (upand): Don't insist on
 having operands of 	type Boolean. 	(upor): Likewise. 	*
 algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. 	*
 algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, 
 PropositionalFormula. 	* algebra/boolean.spad.pamphlet
 (PropositionalFormula): New domain 	constructor. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include 	PAIR.o. 
 (axiom_algebra_layer_19): Include PROPFRML.o 	* share/algebra: Update
 databases. 	* testsuite/interpreter/1849734.input: New.

---
 src/algebra/exposed.lsp.pamphlet | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/algebra/exposed.lsp.pamphlet')

diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index 94b05ddb..be4f8464 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -254,6 +254,7 @@
   (|OrthogonalPolynomialFunctions| . ORTHPOL)
   (|OutputPackage| . OUT)
   (|PadeApproximantPackage| . PADEPAC)
+  (|Pair| . PAIR)
   (|Palette| . PALETTE)
   (|PartialFraction| . PFR)
   (|PatternFunctions2| . PATTERN2)
@@ -289,6 +290,7 @@
   (|PrimeField| . PF)
   (|PrimitiveArrayFunctions2| . PRIMARR2)
   (|PrintPackage| . PRINT)
+  (|PropositionalFormula| . PROPFRML)
   (|QuadraticForm| . QFORM)
   (|QuasiComponentPackage| . QCMPACK)
   (|Quaternion| . QUAT)
@@ -663,6 +665,7 @@
   (|PrimitiveFunctionCategory| . PRIMCAT)
   (|PrincipalIdealDomain| . PID)
   (|PriorityQueueAggregate| . PRQAGG)
+  (|PropositionalLogic| . PROPLOG)
   (|QuaternionCategory| . QUATCAT)
   (|QueueAggregate| . QUAGG)
   (|QuotientFieldCategory| . QFCAT)
-- 
cgit v1.2.3