src/HOL/Hoare/SchorrWaite.thy
2003-03-23 nipkow 2003-03-23 *** empty log message ***
2003-02-17 mehta 2003-02-17 Proof of the Schorr-Waite graph marking algorithm.