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.
Basic types not qualified.
authorballarin
Wed, 19 Nov 2008 17:00:00 +0100
changeset 28850 6882e110c29a
parent 28849 9458d7a6388a
child 28851 368aca388dd9
Basic types not qualified.
src/Pure/Isar/element.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/element.ML	Wed Nov 19 16:58:33 2008 +0100
+++ b/src/Pure/Isar/element.ML	Wed Nov 19 17:00:00 2008 +0100
@@ -75,7 +75,7 @@
   val generalize_facts: Proof.context -> Proof.context ->
     (Attrib.binding * (thm list * Attrib.src list) list) list ->
     (Attrib.binding * (thm list * Attrib.src list) list) list
-  val activate: (Term.typ, Term.term, Facts.ref) ctxt list -> Proof.context ->
+  val activate: (typ, term, Facts.ref) ctxt list -> Proof.context ->
     (context_i list * (Name.binding * Thm.thm list) list) * Proof.context
   val activate_i: context_i list -> Proof.context ->
     (context_i list * (Name.binding * Thm.thm list) list) * Proof.context
isabelle