Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
revisiting Code_Prolog (cf. 6fe4abb9437b)
authorbulwahn
Fri, 25 Mar 2011 11:19:01 +0100
changeset 42111 d1c761375a75
parent 42110 17e0cd9bc259
child 42112 9cb122742f5c
revisiting Code_Prolog (cf. 6fe4abb9437b)
src/HOL/Tools/Predicate_Compile/code_prolog.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Fri Mar 25 11:19:00 2011 +0100
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Fri Mar 25 11:19:01 2011 +0100
@@ -39,7 +39,7 @@
   val write_program : logic_program -> string
   val run : (Time.time * prolog_system) -> logic_program -> (string * prol_term list) -> string list -> int option -> prol_term list list
   
-  val quickcheck : Proof.context -> term -> int -> term list option * Quickcheck.report option
+  val quickcheck : Proof.context -> term * term list -> int -> term list option * Quickcheck.report option
 
   val trace : bool Unsynchronized.ref
isabelle