diff --git a/stdlib/tactics/base.rkt b/stdlib/tactics/base.rkt
index c45984c..9687dbf 100644
--- a/stdlib/tactics/base.rkt
+++ b/stdlib/tactics/base.rkt
@@ -13,6 +13,8 @@
     proof-state-proof
     proof-state-theorem
     new-proof
+    proof?
+    complete-proof?
     new-proof-state
     proof-state-proof-complete?
     proof-state-goal-ref