src/HOL/Hoare/SchorrWaite.thy
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-03-29 wenzelm 2011-03-29 tuned proofs;
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-09-07 nipkow 2010-09-07 expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets
2010-08-11 wenzelm 2010-08-11 modernized specifications; tuned headers;
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
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.