src/Pure/variable.ML
changeset 25573 a0e695567236
parent 25325 0659c05cc107
child 26714 4773b832f1b1
     1.1 --- a/src/Pure/variable.ML	Fri Dec 07 15:08:07 2007 +0100
     1.2 +++ b/src/Pure/variable.ML	Fri Dec 07 15:08:08 2007 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4    val def_type: Proof.context -> bool -> indexname -> typ option
     1.5    val def_sort: Proof.context -> indexname -> sort option
     1.6    val declare_constraints: term -> Proof.context -> Proof.context
     1.7 +  val declare_names: term -> Proof.context -> Proof.context
     1.8    val declare_internal: term -> Proof.context -> Proof.context
     1.9    val declare_term: term -> Proof.context -> Proof.context
    1.10    val declare_prf: Proofterm.proof -> Proof.context -> Proof.context