1 files changed, 10 insertions, 0 deletions
diff --git a/phox/phox-lang.el b/phox/phox-lang.el
index a26f3bdc..d8456de8 100644
--- a/phox/phox-lang.el
+++ b/phox/phox-lang.el
@@ -34,6 +34,16 @@
     (en (concat "Choose " s " = "))
     (fr (concat  "Choisissons " s " = "))))
 
+(defun phox-lang-lock (s)
+  (case phox-lang
+    (en (concat "Lock variable" s "."))
+    (fr (concat  "Vérouille la variable " s "."))))
+
+(defun phox-lang-unlock (s)
+  (case phox-lang
+    (en (concat "Unlock variable" s "."))
+    (fr (concat  "Dévérouille la variable " s "."))))
+
 (defun phox-lang-prove ()
   (case phox-lang 
     (en "Let us prove \\[ \\].")