From f45e4719e7e78d27566cb141f48afccca1e3fd06 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 1998 14:02:46 +0000
Subject: Added Id to headers.

---
 isa/example.ML    | 9 +++++++++
 isa/isa-syntax.el | 4 ++++
 isa/isa.el        | 2 +-
 3 files changed, 14 insertions(+), 1 deletion(-)

(limited to 'isa')

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$
 ;;
 
-- 
cgit v1.2.3