proper structure;
authorwenzelm
Thu Jul 14 19:28:21 2005 +0200 (2005-07-14)
changeset 16839d7b47195ac7b
parent 16838 131ca99f6abf
child 16840 3d5aad11bc24
proper structure;
src/HOL/Tools/ATP/VampireCommunication.ML
     1.1 --- a/src/HOL/Tools/ATP/VampireCommunication.ML	Thu Jul 14 19:28:20 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/VampireCommunication.ML	Thu Jul 14 19:28:21 2005 +0200
     1.3 @@ -1,10 +1,11 @@
     1.4 -(*  Title:      VampireCommunication.ml
     1.5 +(*  Title:      VampireCommunication.ML
     1.6      ID:         $Id$
     1.7      Author:     Claire Quigley
     1.8      Copyright   2004  University of Cambridge
     1.9  *)
    1.10  
    1.11 -(* FIXME proper structure definition *)
    1.12 +structure VampireCommunication =
    1.13 +struct
    1.14  
    1.15  (***************************************************************************)
    1.16  (*  Code to deal with the transfer of proofs from a Vampire process        *)
    1.17 @@ -109,3 +110,5 @@
    1.18      else
    1.19        (Pretty.writeln (Pretty.str (concat ["vampire", thisLine])); getVampInput instr)
    1.20    end;
    1.21 +
    1.22 +end;