src/Pure/sign.ML
changeset 1810 0eef167ebe1b
parent 1580 e3fd931e6095
child 1890 a525e960f2bd
     1.1 --- a/src/Pure/sign.ML	Mon Jun 17 16:51:47 1996 +0200
     1.2 +++ b/src/Pure/sign.ML	Tue Jun 18 16:17:38 1996 +0200
     1.3 @@ -55,8 +55,8 @@
     1.4      (string * (term list -> term)) list *
     1.5      (string * (term list -> term)) list *
     1.6      (string * (ast list -> ast)) list -> sg -> sg
     1.7 -  val add_trrules: (string * string) trrule list -> sg -> sg
     1.8 -  val add_trrules_i: ast trrule list -> sg -> sg
     1.9 +  val add_trrules: (string * string) Syntax.trrule list -> sg -> sg
    1.10 +  val add_trrules_i: ast Syntax.trrule list -> sg -> sg
    1.11    val add_name: string -> sg -> sg
    1.12    val make_draft: sg -> sg
    1.13    val merge: sg * sg -> sg