src/HOL/Isar_examples/W_correct.thy
1999-10-30 wenzelm 1999-10-30 improved presentation;
1999-10-28 wenzelm 1999-10-28 improved presentation;
1999-10-08 wenzelm 1999-10-08 tuned presentation;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-09-30 wenzelm 1999-09-30 fixed 'is' match;
1999-09-29 wenzelm 1999-09-29 lemma;
1999-09-28 wenzelm 1999-09-28 added W_correct -- correctness of Milner's type inference algorithm W (let-free version);