Better indentation
authorpaulson
Wed Nov 27 13:01:07 1996 +0100 (1996-11-27)
changeset 2248187d001fbe79
parent 2247 d388a38f7198
child 2249 2af17dd5479e
Better indentation
src/ZF/ex/ROOT.ML
     1.1 --- a/src/ZF/ex/ROOT.ML	Wed Nov 27 12:59:12 1996 +0100
     1.2 +++ b/src/ZF/ex/ROOT.ML	Wed Nov 27 13:01:07 1996 +0100
     1.3 @@ -12,9 +12,9 @@
     1.4  proof_timing := true;
     1.5  
     1.6  time_use     "misc.ML";
     1.7 -time_use_thy "Primes";		(*GCD theory*)
     1.8 -time_use_thy "Ramsey";		(*Simple form of Ramsey's theorem*)
     1.9 -time_use_thy "Limit";		(*Inverse limit construction of domains*)
    1.10 +time_use_thy "Primes";          (*GCD theory*)
    1.11 +time_use_thy "Ramsey";          (*Simple form of Ramsey's theorem*)
    1.12 +time_use_thy "Limit";           (*Inverse limit construction of domains*)
    1.13  
    1.14  (*Integers & Binary integer arithmetic*)
    1.15  time_use_thy "Bin";