changeset 38117 | 5ae05823cfd9 |
parent 36033 | 7106f079bd05 |
child 38132 | d9955b3b06fe |
--- a/src/HOL/Predicate_Compile_Examples/ROOT.ML Sun Aug 01 10:15:43 2010 +0200 +++ b/src/HOL/Predicate_Compile_Examples/ROOT.ML Sun Aug 01 10:15:43 2010 +0200 @@ -1,1 +1,2 @@ use_thys ["Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples", "Specialisation_Examples"]; +use_thys ["Code_Prolog_Examples"];