Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/arithmetic-4/lib/basic-ops
Name
Last modified
Size
Description
Parent Directory
-
types.lisp.gz
2008-04-15 10:41
654
types-helper.lisp.gz
2008-04-15 10:41
507
top.lisp.gz
2008-04-17 13:25
2.5K
simplify.lisp.gz
2008-07-16 15:57
5.3K
simplify-helper.lisp.gz
2008-04-15 10:41
2.0K
simple-equalities-and-inequalities.lisp.gz
2008-04-15 10:41
4.2K
simple-equalities-and-inequalities-helper.lisp.gz
2008-04-15 10:41
783
remove-weak-inequalities.lisp.gz
2008-04-15 10:41
1.1K
numerator-and-denominator.lisp.gz
2008-04-15 10:41
1.4K
normalize.lisp.gz
2008-07-16 15:13
5.1K
natp-posp.lisp.gz
2008-04-15 10:41
1.4K
mini-theories.lisp.gz
2008-07-18 16:38
922
integerp.lisp.gz
2008-07-24 15:59
6.1K
integerp-meta.lisp.gz
2008-04-15 10:41
5.8K
integerp-helper.lisp.gz
2008-04-15 10:41
1.3K
if-normalization.lisp.gz
2008-04-15 10:41
618
forcing-types.lisp.gz
2008-04-15 10:41
828
expt.lisp.gz
2008-04-15 10:41
4.1K
expt-helper.lisp.gz
2008-04-15 10:41
3.1K
elim-hint.lisp.gz
2008-04-17 11:34
4.5K
elim-hint.acl2.gz
2008-04-15 10:41
103
dynamic-e-d.lisp.gz
2008-04-17 13:23
1.5K
distributivity.lisp.gz
2008-04-15 10:41
519
default-hint.lisp.gz
2008-07-18 13:43
2.5K
common.lisp.gz
2008-04-15 10:41
6.9K
collect.lisp.gz
2008-04-15 10:41
2.1K
building-blocks.lisp.gz
2008-07-18 15:57
8.5K
building-blocks-helper.lisp.gz
2008-04-15 10:41
1.0K
basic.lisp.gz
2008-04-15 10:41
1.6K
banner.lisp.gz
2008-07-18 13:42
471
arithmetic-theory.lisp.gz
2008-07-16 12:18
3.5K
Makefile.gz
2008-07-18 14:24
803
Apache/2.4.61 (Ubuntu) Server at www.cs.utexas.edu Port 443