| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| PlainEx1/ | - | 2002-Feb-27 00:37 | |
| PlainEx2/ | - | 2002-Feb-27 00:37 | |
| Occam94-old/ | - | 2002-Feb-27 00:37 | |
| defstrip.hlp | 1753 | 1995-Aug-12 16:52 | |
| occam.pub | 10353 | 1995-Aug-12 16:52 | |
| Euro92.sty | 10890 | 1995-Aug-12 17:11 | |
| DefStrip-QUEDCmds.hqx_old | 14433 | 1995-Aug-12 17:06 | |
| DefStrip-QUEDCmds.hqx | 14494 | 1995-Oct-03 09:39 | |
| occam.spc | 14668 | 1995-Aug-12 16:52 | |
| auditor.tex | 18056 | 1995-Aug-12 16:52 | |
| Occam95.pdf | 145590 | 2008-Sep-27 18:56 | |