From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 19 Aug 2009 10:31:17 +0000 (+0200)
Subject: Add isNormalizeable predicate.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=b43c3b363b689ea568d26a8d8a8c095a3f73a369;hp=b43c3b363b689ea568d26a8d8a8c095a3f73a369;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add isNormalizeable predicate.
---