| Parent Directory | ||
| .DS_Store | 6148 bytes | Jun 27, 2008 12:03:39 PM |
| ._AnimatingFormalProof.pdf | 82 bytes | Jun 27, 2008 12:03:30 PM |
| ._Jape FACS paper.pdf | 0 bytes | Jan 1, 1970 1:00:00 AM |
| AnimatingFormalProof.pdf | 337750 bytes | Jun 26, 2008 2:26:29 PM |
| Jape FACS paper.pdf | 0 bytes | Jan 1, 1970 1:00:00 AM |
| animating-opsem.ps | 693787 bytes | Oct 8, 2005 4:51:26 PM |
| natural_deduction_manual.pdf | 1206645 bytes | May 25, 2005 5:24:59 PM |
| roll_your_own.pdf | 3080552 bytes | Nov 2, 2005 4:30:37 PM |
| usingjnj.pdf | 589690 bytes | Jan 20, 2003 3:48:36 PM |
| usingjnj.ps | 6597635 bytes | Jan 20, 2003 3:48:36 PM |