equal
deleted
inserted
replaced
1 theory List_Examples |
1 theory List_Examples |
2 imports Main "~~/src/HOL/Library/Predicate_Compile_Quickcheck" "Code_Prolog" |
2 imports |
|
3 Main |
|
4 "~~/src/HOL/Library/Predicate_Compile_Quickcheck" |
|
5 "~~/src/HOL/Library/Code_Prolog" |
3 begin |
6 begin |
4 |
7 |
5 setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *} |
8 setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *} |
6 |
9 |
7 setup {* Code_Prolog.map_code_options (K |
10 setup {* Code_Prolog.map_code_options (K |