src/Doc/antiquote_setup.ML
changeset 55997 9dc5ce83202c
parent 55837 154855d9a564
child 56059 2390391584c2
     1.1 --- a/src/Doc/antiquote_setup.ML	Sat Mar 08 13:49:01 2014 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Sat Mar 08 21:08:10 2014 +0100
     1.3 @@ -230,7 +230,7 @@
     1.4    entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "keyword" #>
     1.5    entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "element" #>
     1.6    entity_antiqs (can o Method.check_name) "" "method" #>
     1.7 -  entity_antiqs (can o Attrib.check o Proof_Context.theory_of) "" "attribute" #>
     1.8 +  entity_antiqs (can o Attrib.check_name) "" "attribute" #>
     1.9    entity_antiqs no_check "" "fact" #>
    1.10    entity_antiqs no_check "" "variable" #>
    1.11    entity_antiqs no_check "" "case" #>