doc-src/antiquote_setup.ML

   entity_antiqs no_check "" "case" @
   entity_antiqs (K ThyOutput.defined_command) "" "antiquotation" @
   entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" @
   entity_antiqs no_check "isatt" "executable" @
   entity_antiqs (K check_tool) "isatt" "tool" @
-  entity_antiqs (K (File.exists o Path.explode)) "isatt" "file");
-
-end;
-
-end;
+  entity_antiqs (K (File.exists o Path.explode)) "isatt" "file" @
+  entity_antiqs (K ThyInfo.known_thy) "" "theory");
+
+end;
+
+end;