Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
sets.lisp.gz | 2000-04-07 18:03 | 2.9K | ||
semantics.lisp.gz | 2004-01-19 16:38 | 2.3K | ||
README.gz | 2000-04-11 00:27 | 1.3K | ||
fixpoints.lisp.gz | 2004-01-19 16:37 | 1.2K | ||
syntax.lisp.gz | 2000-04-07 18:24 | 1.1K | ||
relations.lisp.gz | 2000-04-07 18:22 | 1.0K | ||
defung-intro.txt.gz | 2000-01-15 17:16 | 1.0K | ||
build.lisp.gz | 2000-06-04 23:24 | 1.0K | ||
fast-sets.lisp.gz | 2000-04-07 18:02 | 945 | ||
semantics.acl2.gz | 2000-06-04 23:27 | 928 | ||
syntax.acl2.gz | 2000-06-04 23:28 | 922 | ||
models.acl2.gz | 2000-06-04 23:28 | 920 | ||
ctl.acl2.gz | 2000-06-04 23:29 | 917 | ||
models.lisp.gz | 2000-04-07 18:02 | 872 | ||
defung.lisp.gz | 2000-03-06 10:22 | 829 | ||
ctl.lisp.gz | 2000-01-17 02:33 | 805 | ||
relations.acl2.gz | 2000-06-04 23:28 | 783 | ||
fast-sets.acl2.gz | 2000-06-04 23:28 | 714 | ||
fixpoints.acl2.gz | 2000-06-04 23:28 | 668 | ||
perm.lisp.gz | 2000-01-16 22:19 | 664 | ||
sets.acl2.gz | 2000-06-04 23:28 | 659 | ||
Makefile.gz | 2004-09-20 20:27 | 386 | ||
solutions.txt.gz | 2000-01-17 02:16 | 327 | ||
meta.lisp.gz | 2001-04-10 22:54 | 93 | ||