src/ZF/Resid/ROOT.ML
changeset 33615 261abc2e3155
parent 19336 fb5e19d26d5e
     1.1 --- a/src/ZF/Resid/ROOT.ML	Wed Nov 11 09:02:37 2009 +0100
     1.2 +++ b/src/ZF/Resid/ROOT.ML	Wed Nov 11 14:15:11 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4 -(*  Title:      ZF/Resid/ROOT
     1.5 -    ID:         $Id$
     1.6 +(*  Title:      ZF/Resid/ROOT.ML
     1.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1995  University of Cambridge
     1.9  
    1.10 @@ -12,4 +11,4 @@
    1.11  J. Functional Programming 4(3) 1994, 371-394.
    1.12  *)
    1.13  
    1.14 -time_use_thy "Confluence";
    1.15 +use_thys ["Confluence"];