From: Matthijs Kooijman Date: Fri, 2 Oct 2009 11:31:24 +0000 (+0200) Subject: Add two new simple normal form examples. X-Git-Tag: final-thesis~228 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=eca9391c2835722ba61218e5a0c13d25872f0a03;hp=eca9391c2835722ba61218e5a0c13d25872f0a03 Add two new simple normal form examples. ---