2 files changed, 1 insertions, 1 deletions
diff --git a/PL.pdf b/PL.pdf
index 57914c0..7fe64e3 100644
--- a/PL.pdf
+++ b/PL.pdf
diff --git a/PL.v b/PL.v
index 9809b74..687fd9b 100644
--- a/PL.v
+++ b/PL.v
@@ -15,7 +15,7 @@ Axiom Impl1_01 : ∀ P Q : Prop,
 Axiom MP1_1 : ∀  P Q : Prop,
   (P → Q) → P → Q. (*Modus ponens*)
 
-  (**1.11 ommitted: it is MP for propositions 
+  (*1.11 ommitted: it is MP for propositions 
       containing variables. Likewise, ommitted 
       the well-formedness rules 1.7, 1.71, 1.72*)