From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 30 Jul 2006 19:30:35 +0000 (+0000)
Subject: Evaluating a test with automatic inclusion of basis
X-Git-Tag: release_2010-11-19~378
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/d189ec0eee8569e5811335e7fc93a921e14c2b1f?hp=d189ec0eee8569e5811335e7fc93a921e14c2b1f

Evaluating a test with automatic inclusion of basis
---