src/Pure/sign.ML
changeset 34245 25bd3ed2ac9f
parent 33724 5ee13e0428d2
child 34259 2ba492b8b6e8
     1.1 --- a/src/Pure/sign.ML	Mon Jan 04 14:09:56 2010 +0100
     1.2 +++ b/src/Pure/sign.ML	Mon Jan 04 14:09:56 2010 +0100
     1.3 @@ -151,7 +151,6 @@
     1.4  structure SignData = TheoryDataFun
     1.5  (
     1.6    type T = sign;
     1.7 -  val copy = I;
     1.8    fun extend (Sign {syn, tsig, consts, ...}) =
     1.9      make_sign (Name_Space.default_naming, syn, tsig, consts);
    1.10