src/HOL/ex/Coherent.thy
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.