--- 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) #