Filewatcher File Search File Search
Catalog
Content Search
» » » »

acl2_4.3.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:acl2_4.3.orig.tar.gz

/acl2-sources/books/README

Please point your browser at Readme.html in this directory, or else at:
http://www.cs.utexas.edu/users/moore/acl2/v4-3/distrib/acl2-sources/books/Readme.html


/acl2-sources/books/Readme.html

<HEAD><TITLE>The ACL2 Books Directory</TITLE></HEAD>

<BODY TEXT="#000000">
<BODY BGCOLOR="#FFFFFF">

<H1>The ACL2 Books Directory</H1>
<P>
The word ``book'' has two senses to the ACL2 user.  One is the normal one: a
sequence of printed paper pages bound together between covers.  There are
such books about ACL2.  Click <A
HREF="http://www.cs.utexas.edu/users/moore/publications/acl2-papers.html">he
more»

/acl2-sources/books/add-ons/Readme.lsp

((:files
"
.:
Makefile
Readme.lsp
hash-stobjs.acl2
hash-stobjs.lisp")
 (:abstract "This directory contains books which add system-level functionality
to ACL2.  These books should be considered experimental, potentially buggy and
unsound.

hash-stobjs.lisp allows stobjs to be defined with hash table members.  Three
types of hash table are supported: EQ, EQL, and HONS-EQUAL.  Such a stobj
member is 
more»

/acl2-sources/books/arithmetic-2/README

This directory is deprecated.  Please see ../arithmetic-5/README for
information about which arithme
more»

/acl2-sources/books/arithmetic-2/meta/README

1. Introduction

See top.lisp for a summary of the theories contained in this library
and how to us
more»

/acl2-sources/books/arithmetic-3/README

This directory is essentially deprecated.  Please see
../arithmetic-5/README for information about w
more»

/acl2-sources/books/arithmetic-3/extra/Readme.lsp

; WARNING: This directory is under development.  It may undergo large changes
; in future releases, 
more»

/acl2-sources/books/arithmetic-4/README

NOTE: This library has been superseded by ../arithmetic-5/, though
"make" can still be used to certi
more»

Browse inside acl2_4.3.orig.tar.gz

         [DIR]acl2-sources/ (64)

Download acl2_4.3.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com