src/Doc/IsarImplementation/Logic.thy
2012-11-19 ago theorem status about oracles/futures is no longer printed by default;
2012-08-28 ago renamed doc-src to src/Doc;