2 files changed, 4 insertions, 4 deletions
diff --git a/isa/isa.el b/isa/isa.el
index 59dc90ba..65c72d75 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -32,7 +32,7 @@
 
 (require 'proof)
 (require 'isa-syntax)
-(require 'isa-system)
+(require 'isabelle-system)
 
 ;;;
 ;;; ======== User settings for Isabelle ========
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index b9e1b303..48709e7f 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -1,4 +1,4 @@
-;; isa-system.el Interface with Isabelle system
+;; isabelle-system.el Interface with Isabelle system
 ;;
 ;; Copyright (C) 2000 LFCS Edinburgh, David Aspinall. 
 ;;
@@ -260,5 +260,5 @@ Otherwise return a string for configuring all settings."
 
 
 
-(provide 'isa-system)
-;; End of isa-system.el
-\ No newline at end of file
+(provide 'isabelle-system)
+;; End of isabelle-system.el
+\ No newline at end of file