Mercurial Mercurial > repos > isabelle / diff
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/ex/predicate_compile.ML
changeset 31111 ae2b24698695
parent 31108 0ce5f53fc65d
child 31124 58bc773c60e2 
--- a/src/HOL/ex/predicate_compile.ML	Mon May 11 19:54:43 2009 +0200
+++ b/src/HOL/ex/predicate_compile.ML	Mon May 11 20:09:03 2009 +0200
@@ -14,7 +14,6 @@
   val strip_intro_concl : term -> int -> (term * (term list * term list))
   val code_ind_intros_attrib : attribute
   val code_ind_cases_attrib : attribute
-  val print_alternative_rules : theory -> theory
   val modename_of: theory -> string -> mode -> string
   val modes_of: theory -> string -> mode list
   val setup : theory -> theory
isabelle