ragerdl / acl2-books-deprecated Goto Github PK
View Code? Open in Web Editor NEWYou want to use the acl2-books under user acl2, not this one. *UNOFFICIAL* git mirror of the ACL2 Books svn repository.
Home Page: http://acl2-books.googlecode.com/
License: Other