Freek Wiedijk: Formal Proof Sketches. TYPES 2003: 378-393