Added Id to headers.

3 files changed, 14 insertions, 1 deletions

diff --git a/isa/example.ML b/isa/example.ML
index d5ba5153..5a6f7dfb 100644
--- a/isa/example.ML
+++ b/isa/example.ML
@@ -1,3 +1,12 @@
+(*
+    Example proof script for Isabelle
+
+    David Aspinall <da@dcs.ed.ac.uk>
+
+    $Id$
+
+*)    
+
 goal HOL.thy
   "(A & B)-->(B & A)";
 br impI 1;
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 6baa5e9d..52e2ee90 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -1,5 +1,9 @@
 ;; isa-syntax.el Syntax expressions for Isabelle
 ;;
+;; David Aspinall <da@dcs.ed.ac.uk>
+;;
+;; $Id$
+;;
 
 (require 'proof-syntax)
 
diff --git a/isa/isa.el b/isa/isa.el
index bd94a84c..f4c0a0fe 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -1,7 +1,7 @@
 ;; isa.el Major mode for Isabelle proof assistant
 ;; Copyright (C) 1994-1998 LFCS Edinburgh. 
 ;; Author: David Aspinall
-
+;;
 ;; $Id$
 ;;