patch ddc-head: Merge changes in env library into Poly

[Ben Lippmeier]

Mon Apr 25 08:42:24 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Merge changes in env library into Poly

    M ./proof/Poly/Env.v -20 +77

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe