src/HOL/Predicate_Compile_Examples/List_Examples.thy
changeset 41956 c15ef1b85035
parent 41413 64cd30d6b0b8
child 43937 768c70befd59
     1.1 --- a/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Sun Mar 13 20:56:00 2011 +0100
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Sun Mar 13 21:21:48 2011 +0100
     1.3 @@ -1,5 +1,8 @@
     1.4  theory List_Examples
     1.5 -imports Main "~~/src/HOL/Library/Predicate_Compile_Quickcheck" "Code_Prolog"
     1.6 +imports
     1.7 +  Main
     1.8 +  "~~/src/HOL/Library/Predicate_Compile_Quickcheck"
     1.9 +  "~~/src/HOL/Library/Code_Prolog"
    1.10  begin
    1.11  
    1.12  setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *}