src/HOL/ex/ROOT.ML
changeset 17783 4175daa1286c
parent 17618 1330157e156a
child 18408 07da804d1119
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Oct 07 22:59:19 2005 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Oct 07 22:59:21 2005 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4  setmp proofs 2 time_use_thy "Hilbert_Classical";
     1.5  time_use_thy "Antiquote";
     1.6  time_use_thy "Multiquote";
     1.7 -time_use_thy "Tuple";
     1.8  
     1.9  time_use_thy "NatSum";
    1.10  time_use_thy "Intuitionistic";