src/Doc/IsarImplementation/Logic.thy
2013-06-17 wenzelm 2013-06-17 more on reconstructing and checking proof terms;
2013-06-17 wenzelm 2013-06-17 more examples on proof terms;
2013-06-15 wenzelm 2013-06-15 updated operations on proof terms;
2013-06-15 wenzelm 2013-06-15 more on proof terms;
2013-06-13 wenzelm 2013-06-13 updated documentation of sort hypotheses;
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;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;