# HG changeset patch
# User lcp
# Date 797158873 -7200
# Node ID 6413adca76014b354030218e37f6fa8ba5a80d6c
# Parent  280ec187f8e1d3127d2d37132c1d194e3cd2e02d
Added Id: line

diff -r 280ec187f8e1 -r 6413adca7601 src/FOL/Makefile
--- a/src/FOL/Makefile	Thu Apr 06 10:58:56 1995 +0200
+++ b/src/FOL/Makefile	Thu Apr 06 11:01:13 1995 +0200
@@ -1,3 +1,4 @@
+#  $Id$
 #########################################################################
 #									#
 # 			Makefile for Isabelle (FOL)			#