src/Pure/sign.ML
changeset 40959 49765c1104d4
parent 39507 839873937ddd
child 42204 b3277168c1e7
     1.1 --- a/src/Pure/sign.ML	Sat Dec 04 15:14:28 2010 +0100
     1.2 +++ b/src/Pure/sign.ML	Sat Dec 04 18:41:12 2010 +0100
     1.3 @@ -499,7 +499,7 @@
     1.4  
     1.5  fun gen_trrules f args thy = thy |> map_syn (fn syn =>
     1.6    let val rules = map (Syntax.map_trrule (apfst (intern_type thy))) args
     1.7 -  in f (ProofContext.init_global thy) (is_logtype thy) syn rules syn end);
     1.8 +  in f (ProofContext.init_global thy) syn rules syn end);
     1.9  
    1.10  val add_trrules = gen_trrules Syntax.update_trrules;
    1.11  val del_trrules = gen_trrules Syntax.remove_trrules;