aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/exposed.lsp.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/exposed.lsp.pamphlet')
-rw-r--r--src/algebra/exposed.lsp.pamphlet3
1 files changed, 3 insertions, 0 deletions
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)