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.
*** empty log message ***
authorwebertj
Wed, 10 Mar 2004 20:31:47 +0100
changeset 14454 8a8330bef1f8
parent 14453 3397a69dfa4e
child 14455 5c4a1e96efd6
*** empty log message ***
src/HOL/Tools/refute_isar.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/refute_isar.ML	Wed Mar 10 20:28:18 2004 +0100
+++ b/src/HOL/Tools/refute_isar.ML	Wed Mar 10 20:31:47 2004 +0100
@@ -74,8 +74,8 @@
 
 	fun refute_params_trans args =
 		let
-			fun add_params (thy, []) = thy
-				| add_params (thy, p::ps) = add_params (Refute.set_default_param p thy, ps)
+			fun add_params (thy, [])    = thy
+			  | add_params (thy, p::ps) = add_params (Refute.set_default_param p thy, ps)
 		in
 			Toplevel.theory (fn thy =>
 				let
isabelle