From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 30 Jul 2006 01:12:01 +0000 (+0000)
Subject: Reduction
X-Git-Tag: release_2010-11-19~386
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/492c1cff68a2da969a559627725369c211470c92?hp=492c1cff68a2da969a559627725369c211470c92

Reduction
---