src/HOL/ex/Coherent.thy
2009-09-28 wenzelm 2009-09-28 misc tuning and modernization;
2008-09-22 berghofe 2008-09-22 Examples for coherent logic prover.