![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.png){kind=icon} | Occam94-old/ | 2002-02-26 16:37 | - |
| PlainEx1/ | 2002-02-26 16:37 | - |
| PlainEx2/ | 2002-02-26 16:37 | - |
![[TXT]](/theme/icons/doc.png){kind=icon} | auditor.tex | 1995-08-12 09:52 | 18K |
![[ ]](/icons/binhex.gif){kind=icon} | DefStrip-QUEDCmds.hqx | 1995-10-03 01:39 | 14K |
![[ ]](/theme/icons/default.png){kind=icon} | DefStrip-QUEDCmds.hqx_old | 1995-08-12 10:06 | 14K |
| defstrip.hlp | 1995-08-12 09:52 | 1.7K |
![[TXT]](/icons/text.gif){kind=icon} | Euro92.sty | 1995-08-12 10:11 | 11K |
| occam.pub | 1995-08-12 09:52 | 10K |
| occam.spc | 1995-08-12 09:52 | 14K |
![[ ]](/theme/icons/pdf.png){kind=icon} | Occam95.pdf | 2008-09-27 11:56 | 142K |