![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| @logops.lisp.gz | 2001-08-31 04:00 | 7.8K | |
| Makefile.gz | 2006-04-12 19:24 | 368 | |
| README.gz | 2004-06-28 10:13 | 3.1K | |
| certify.lsp.gz | 2001-01-01 22:43 | 273 | |
| ihs-definitions.lisp.gz | 2000-05-05 15:47 | 936 | |
| ihs-init.acl2.gz | 1998-12-03 14:24 | 720 | |
| ihs-init.lisp.gz | 2002-08-17 22:18 | 4.7K | |
| ihs-lemmas.lisp.gz | 2002-10-25 09:57 | 1.3K | |
| ihs-theories.lisp.gz | 2004-01-18 15:03 | 2.1K | |
| logops-definitions.lisp.gz | 2002-10-25 09:57 | 19K | |
| logops-lemmas.lisp.gz | 2006-08-29 21:05 | 14K | |
| math-lemmas.lisp.gz | 2004-01-22 14:17 | 4.2K | |
| quotient-remainder-lemmas.lisp.gz | 2005-03-30 15:01 | 13K | |