acl2/acl2 — pull request #296 by jaredcdavis (2014-10-27 00:56:17+00:00)
Title: Doc

This branch ports a lot of defdoc documentation to xdoc, most notably the ihs documentation. It also reworks most of the coi/osets library to be includes of the std/osets library with some additional lemmas on top.