From: Christiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Date: Wed, 24 Feb 2010 10:18:12 +0000 (+0100)
Subject: Clean up parts on user-defined ADT's
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=0025553cc63de81213b530f9277c617da74d1452;hp=0025553cc63de81213b530f9277c617da74d1452

Clean up parts on user-defined ADT's
---