Name Last modified Size Description![[PARENTDIR]](/spicons/back.gif)
Parent Directory -
![[TXT]](/spicons/text.gif)
mycin.html 2004-05-01 23:51 5.5K
![[ ]](/spicons/compressed.gif)
mycin.zip 2020-04-05 02:02 10K
![[DIR]](/spicons/folder.gif)
src/ 2004-05-01 23:51 -