FTP Search

Directory

Content Search

acl2-doc

A Computational Logic for Applicative Common Lisp: documentation

/Main/Ubuntu/all/doc/

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the documentation for ACL2.

Info:

Homepage:	-
Package version:	2.9.3-5build1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-doc_2.9.3-5build1_all.deb

Browse inside acl2-doc_2.9.3-5build1_all.deb:

Download acl2-doc_2.9.3-5build1_all.deb:

2004-10-08  ftp://ftp.wh8.tu-dresden.de/pub/linux/distributions/ubuntu/pool/universe/a/acl2/acl2-doc_2.9.3-5build1_all.deb
2005-10-07  ftp://ftp.ula.ve/linux/distribuciones/ubuntu.orig/pool/universe/a/acl2/acl2-doc_2.9.3-5build1_all.deb
2005-10-06  ftp://ftp.cesnet.cz/.vol/releases.ubuntulinux.org/ubuntu/pool/universe/a/acl2/acl2-doc_2.9.3-5build1_all.deb
2005-10-07  ftp://ftp.ens-cachan.fr/mirror/ubuntu/pool/universe/a/acl2/acl2-doc_2.9.3-5build1_all.deb
2005-10-07  ftp://ftp.ua.kernel.org/pub/mirrors/ubuntu/pool/pool/universe/a/acl2/acl2-doc_2.9.3-5build1_all.deb
2005-10-07  ftp://ftp.guadalinex.org/ubuntu/pool/universe/a/acl2/acl2-doc_2.9.3-5build1_all.deb