src/HOL/Tools/ATP/watcher.sig
changeset 15789 4cb16144c81b
parent 15782 a1863ea9052b
child 15919 b30a35432f5a
     1.1 --- a/src/HOL/Tools/ATP/watcher.sig	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/watcher.sig	Thu Apr 21 15:05:24 2005 +0200
     1.3 @@ -1,5 +1,4 @@
     1.4 -
     1.5 -(*  Title:      Watcher.ML
     1.6 +(*  ID:         $Id$
     1.7      Author:     Claire Quigley
     1.8      Copyright   2004  University of Cambridge
     1.9  *)
    1.10 @@ -14,7 +13,7 @@
    1.11  
    1.12  
    1.13  signature WATCHER =
    1.14 -  sig
    1.15 +sig
    1.16  
    1.17  (*****************************************************************************************)
    1.18  (*  Send request to Watcher for multiple spasses to be called for filenames in arg       *)