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/Pure/Isar/class.ML
changeset 28017 4919bd124a58
parent 27761 b95e9ba0ca1d
child 28083 103d9282a946 
--- a/src/Pure/Isar/class.ML	Wed Aug 27 11:24:35 2008 +0200
+++ b/src/Pure/Isar/class.ML	Wed Aug 27 11:48:54 2008 +0200
@@ -14,9 +14,9 @@
     -> theory -> string * Proof.context
 
   val init: class -> theory -> Proof.context
-  val declare: class -> Markup.property list
+  val declare: class -> Properties.T
     -> (string * mixfix) * term -> theory -> theory
-  val abbrev: class -> Syntax.mode -> Markup.property list
+  val abbrev: class -> Syntax.mode -> Properties.T
     -> (string * mixfix) * term -> theory -> theory
   val note: class -> string
     -> ((string * Attrib.src list) * (thm list * Attrib.src list) list) list
isabelle