open ReconPrelim Recon_Transfer;
authorwenzelm
Wed Jul 13 16:07:26 2005 +0200 (2005-07-13)
changeset 16805fadf80952202
parent 16804 3c339e1c069b
child 16806 916387f7afd2
open ReconPrelim Recon_Transfer;
src/HOL/Tools/ATP/watcher.ML
     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  (*****************************************)