Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Predicate_Compile_Quickcheck.thy
changeset 58812 5a9a2d3b9f8b
parent 51143 0a2371e7ced3
child 58881 b9556a055632
equal deleted inserted replaced
58811:19382bbfa93a 58812:5a9a2d3b9f8b 
     6 imports Main Predicate_Compile_Alternative_Defs
 
     6 imports Main Predicate_Compile_Alternative_Defs
 
     7 begin
 
     7 begin
 
     8 
     8 
     9 ML_file "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML"
 
     9 ML_file "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML"
 
    10 
    10 
    11 setup {* Predicate_Compile_Quickcheck.setup *}
 
       
    12 
       
    13 end
 
    11 end
isabelle