http://www.vervloesem.eu/qed/index.php/2008/08/24/paul-taylor-over-lemmas/ Weblog over wiskunde en computers Sat, 05 Sep 2009 15:43:00 +0000 http://wordpress.org/?v=2.6