From: adam Date: Sun, 8 Jan 2006 01:06:36 +0000 (-0500) Subject: yay, new boolean resolution approach works X-Git-Tag: tag_for_25-Mar~422 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=842f3c9b981b35721bb50d49e85c11085b2040a3;hp=842f3c9b981b35721bb50d49e85c11085b2040a3 yay, new boolean resolution approach works darcs-hash:20060108010636-5007d-e8e1c2d0456e2c4e5f9bc2f30adbb54bebd260fe.gz ---