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/HOLCF/Tools/fixrec_package.ML
changeset 29581 b3b33e0298eb
parent 29006 abe0f11cfa4e
child 29585 c23295521af5 
--- a/src/HOLCF/Tools/fixrec_package.ML	Wed Jan 21 16:47:31 2009 +0100
+++ b/src/HOLCF/Tools/fixrec_package.ML	Wed Jan 21 16:47:32 2009 +0100
@@ -9,9 +9,9 @@
   val legacy_infer_term: theory -> term -> term
   val legacy_infer_prop: theory -> term -> term
   val add_fixrec: bool -> (Attrib.binding * string) list list -> theory -> theory
-  val add_fixrec_i: bool -> ((Binding.T * attribute list) * term) list list -> theory -> theory
+  val add_fixrec_i: bool -> ((binding * attribute list) * term) list list -> theory -> theory
   val add_fixpat: Attrib.binding * string list -> theory -> theory
-  val add_fixpat_i: (Binding.T * attribute list) * term list -> theory -> theory
+  val add_fixpat_i: (binding * attribute list) * term list -> theory -> theory
 end;
 
 structure FixrecPackage: FIXREC_PACKAGE =
isabelle