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/Tools/Quickcheck/narrowing_generators.ML
changeset 41938 645cca858c69
parent 41936 9792a882da9c
child 41940 a3b68a7a0e15
equal deleted inserted replaced
41937:a369f8ba5425 41938:645cca858c69 
     1 (*  Title:      HOL/Tools/Quickcheck/narrowing_generators.ML
 
     1 (*  Title:      HOL/Tools/Quickcheck/narrowing_generators.ML
 
     2     Author:     Lukas Bulwahn, TU Muenchen
 
     2     Author:     Lukas Bulwahn, TU Muenchen
 
     3 
     3 
     4 Narrowing-based counterexample generation 
     4 Narrowing-based counterexample generation.
 
     5 
       
     6 *)
 
     5 *)
 
     7 
     6 
     8 signature NARROWING_GENERATORS =
 
     7 signature NARROWING_GENERATORS =
 
     9 sig
 
     8 sig
 
    10   val compile_generator_expr:
 
     9   val compile_generator_expr:
isabelle