src/HOL/ex/Coherent.thy
2016-04-26 wenzelm 2016-04-26 misc tuning and modernization;
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-04-03 griff 2012-04-03 renamed "rel_comp" to "relcomp" (to be consistent with, e.g., "relpow")
2009-09-28 wenzelm 2009-09-28 misc tuning and modernization;
2008-09-22 berghofe 2008-09-22 Examples for coherent logic prover.