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.pamphlet2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index 0e75f115..fce173ac 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -337,6 +337,8 @@
(|PrintPackage| . PRINT)
(|Property| . PROPERTY)
(|PropositionalFormula| . PROPFRML)
+ (|PropositionalFormulaFunctions1| . PROPFUN1)
+ (|PropositionalFormulaFunctions2| . PROPFUN2)
(|QuadraticForm| . QFORM)
(|QuasiComponentPackage| . QCMPACK)
(|QuasiquoteAst| . QQUTAST)