From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 8 Dec 2009 17:00:41 +0000 (+0100)
Subject: Put CaseInv and PatternInv in the same float.
X-Git-Tag: final-thesis~28
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=9837f3f1ea121b3116a8c3cded0e8846cc363abd;hp=9837f3f1ea121b3116a8c3cded0e8846cc363abd

Put CaseInv and PatternInv in the same float.
---