From: Matthijs Kooijman Date: Fri, 28 Aug 2009 19:41:15 +0000 (+0200) Subject: Add a new definition of the normal form. X-Git-Tag: final-thesis~273 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=66f5758c343546733f7cda281ccff7eafedd6b73;hp=66f5758c343546733f7cda281ccff7eafedd6b73 Add a new definition of the normal form. This definition uses a sort of EBNF. ---