src/HOL/Tools/ATP/watcher.ML
changeset 16805 fadf80952202
parent 16767 2d4433759b8d
child 17121 4c225f640b89
     1.1 --- a/src/HOL/Tools/ATP/watcher.ML	Wed Jul 13 16:07:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/watcher.ML	Wed Jul 13 16:07:26 2005 +0200
     1.3 @@ -23,6 +23,8 @@
     1.4  structure Watcher: WATCHER =
     1.5    struct
     1.6  
     1.7 +open ReconPrelim Recon_Transfer
     1.8 +
     1.9  val goals_being_watched = ref 0;
    1.10  
    1.11  (*****************************************)