Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/Isar/keyword.ML
changeset 36965 226fb165833e
parent 36949 080e85d46108
child 38492 d8c7be27e01d
equal deleted inserted replaced
36954:ef698bd61057 36965:226fb165833e 
   208 val is_qed = command_category [qed, qed_block];
 
   208 val is_qed = command_category [qed, qed_block];
 
   209 val is_qed_global = command_category [qed_global];
 
   209 val is_qed_global = command_category [qed_global];
 
   210 
   210 
   211 end;
 
   211 end;
 
   212 
   212 
   213 (*legacy alias*)
 
   213 
   214 structure OuterKeyword = Keyword;
 
       
   215 
       
   216
wneuper/isa