1 files changed, 2 insertions, 1 deletions
diff --git a/isa/isa.el b/isa/isa.el
index b1a17f29..a67ba212 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -364,7 +364,8 @@ isa-proofscript-mode."
  ;; Extend theory mode keymap
  '(let ((map thy-mode-map))
 (define-key map "\C-c\C-b" 'isa-process-thy-file)
-(define-key map "\C-c\C-r" 'isa-retract-thy-file)))
+(define-key map "\C-c\C-r" 'isa-retract-thy-file)
+(proof-define-keys map proof-universal-keys)))
 
 ;; FIXME: could test that the buffer isn't already locked.
 (defun isa-process-thy-file (file)