Add a new definition of the normal form.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 28 Aug 2009 19:41:15 +0000 (21:41 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 28 Aug 2009 19:41:47 +0000 (21:41 +0200)
commit66f5758c343546733f7cda281ccff7eafedd6b73
tree03386be12e06eedb92106485a36e98e31e062fda
parent41753b358251eb737709bbc4172cb551ef41ef87
Add a new definition of the normal form.

This definition uses a sort of EBNF.
Chapters/Normalization.tex