changeset 35955 | e657fb805c68 |
parent 35950 | 791ce568d40a |
child 36033 | 7106f079bd05 |
--- a/src/HOL/Predicate_Compile_Examples/ROOT.ML Wed Mar 24 17:40:44 2010 +0100 +++ b/src/HOL/Predicate_Compile_Examples/ROOT.ML Wed Mar 24 17:40:44 2010 +0100 @@ -1,1 +1,1 @@ -use_thys ["Predicate_Compile_Examples"]; +use_thys ["Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples"];