2012-11-19 wenzelm 2012-11-19 theorem status about oracles/futures is no longer printed by default; renamed Proofterm/Thm.status_of to Proofterm/Thm.peek_status to emphasize its semantics;
2011-05-15 wenzelm 2011-05-15 simplified/unified method_setup/attribute_setup;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2010-10-28 wenzelm 2010-10-28 moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref; tuned;