src/HOL/Lambda/ROOT.ML
changeset 13550 5a176b8dda84
parent 13031 3f7824dd8ddf
child 14067 3cc65d66fa12
     1.1 --- a/src/HOL/Lambda/ROOT.ML	Thu Aug 29 16:15:11 2002 +0200
     1.2 +++ b/src/HOL/Lambda/ROOT.ML	Fri Aug 30 16:42:45 2002 +0200
     1.3 @@ -6,6 +6,7 @@
     1.4  
     1.5  Syntax.ambiguity_level := 100;
     1.6  
     1.7 +set timing;
     1.8  time_use_thy "Eta";
     1.9  no_document time_use_thy "Accessible_Part";
    1.10  time_use_thy "Type";