changeset 19241 | 613f374ea27d |
parent 19148 | f03a9a1cbe0e |
child 19281 | b411f25fff25 |
--- a/src/HOL/ex/ROOT.ML Fri Mar 10 19:49:58 2006 +0100 +++ b/src/HOL/ex/ROOT.ML Sat Mar 11 16:53:10 2006 +0100 @@ -57,7 +57,7 @@ time_use_thy "Refute_Examples"; time_use_thy "Quickcheck_Examples"; -time_use_thy "nbe"; +no_document time_use_thy "nbe"; no_document use_thy "Word"; time_use_thy "Adder";