Name                      Last modified       Size  Description

 Parent Directory          12-Sep-2009 15:27      -  
 Occam94-old/              26-Feb-2002 10:37      -  
 PlainEx1/                 26-Feb-2002 10:37      -  
 PlainEx2/                 26-Feb-2002 10:37      -  
 DefStrip-QUEDCmds.hqx     02-Oct-1995 19:39    14k  
 DefStrip-QUEDCmds.hqx_old 12-Aug-1995 03:06    14k  
 Euro92.sty                12-Aug-1995 03:11    11k  
 Occam95.pdf               27-Sep-2008 04:56   142k  
 auditor.tex               12-Aug-1995 02:52    18k  
 defstrip.hlp              12-Aug-1995 02:52     2k  
 occam.pub                 12-Aug-1995 02:52    10k  
 occam.spc                 12-Aug-1995 02:52    14k  

---