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