1.1 --- a/doc-src/antiquote_setup.ML	Tue Jul 27 23:01:42 2010 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Tue Jul 27 23:02:45 2010 +0200
     1.3 @@ -181,7 +181,7 @@
     1.4  val _ = entity_antiqs no_check "isatt" "executable";
     1.5  val _ = entity_antiqs (K check_tool) "isatt" "tool";
     1.6  val _ = entity_antiqs (K (File.exists o Path.explode)) "isatt" "file";
     1.7 -val _ = entity_antiqs (K Thy_Info.known_thy) "" "theory";
     1.8 +val _ = entity_antiqs (K (can Thy_Info.get_theory)) "" "theory";
     1.9  
    1.10  end;
    1.11