diff -r 9a15982f41fe -r 111ce9651564 doc-src/rail.ML
--- a/doc-src/rail.ML	Tue Jul 27 23:01:42 2010 +0200
+++ b/doc-src/rail.ML	Tue Jul 27 23:02:45 2010 +0200
@@ -74,7 +74,7 @@
   ("executable", ("isatt", no_check, true)),
   ("tool", ("isatt", K check_tool, true)),
   ("file", ("isatt", K (File.exists o Path.explode), true)),
-  ("theory", ("", K Thy_Info.known_thy, true))
+  ("theory", ("", K (can Thy_Info.get_theory), true))
   ];
 
 in