Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
total-ordering.lisp.gz | 2010-09-20 19:28 | 1.7K | ||
total-ordering-original.lisp.gz | 2011-02-02 10:37 | 2.4K | ||
set-theory.lisp.gz | 2010-09-20 19:28 | 21K | ||
set-theory.acl2.gz | 2010-09-20 19:28 | 323 | ||
set-theory-original.lisp.gz | 2011-02-02 10:38 | 22K | ||
set-theory-original.acl2.gz | 2010-09-20 19:28 | 339 | ||
certify.lsp.gz | 2010-09-20 19:28 | 343 | ||
certify-total-ord.lsp.gz | 2010-09-20 19:28 | 105 | ||
certify-total-ord-original.lsp.gz | 2010-09-20 19:28 | 121 | ||
certify-original.lsp.gz | 2010-09-20 19:28 | 359 | ||
Makefile.gz | 2010-09-20 19:28 | 308 | ||