src/HOL/Tools/ATP/SpassCommunication.ML
changeset 15789 4cb16144c81b
parent 15787 8fad4bd4e53c
child 15919 b30a35432f5a
     1.1 --- a/src/HOL/Tools/ATP/SpassCommunication.ML	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/SpassCommunication.ML	Thu Apr 21 15:05:24 2005 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4  (*  Title:      SpassCommunication.ml
     1.5 +    ID:         $Id$
     1.6      Author:     Claire Quigley
     1.7      Copyright   2004  University of Cambridge
     1.8  *)