src/HOL/ex/ROOT.ML
changeset 20866 bc366b4b6ea4
parent 20812 cc6b31c2b9a2
child 21256 47195501ecf7
     1.1 --- a/src/HOL/ex/ROOT.ML	Thu Oct 05 13:54:17 2006 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Oct 06 03:49:36 2006 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4  time_use_thy "Records";
     1.5  time_use_thy "MonoidGroup";
     1.6  time_use_thy "BinEx";
     1.7 +time_use_thy "Hex_Bin_Examples";
     1.8  setmp proofs 2 time_use_thy "Hilbert_Classical";
     1.9  time_use_thy "Antiquote";
    1.10  time_use_thy "Multiquote";