access user group date size name
drwxr-xr-x tjebelea risc Jun 01 2004 <DIR> ..
drwxr-xr-x tjebelea risc Jun 01 2004 <DIR> first_page
-rw-r--r-- tjebelea risc Nov 12 1997 572 kB PredicateLogicProver.nb.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 75 kB aart.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 9 kB cont.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 2520 B cont.tex
-rw-r--r-- tjebelea risc Nov 12 1997 423 kB functors.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 54 kB hamada.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 54 kB hamana.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 149 B index
-rw-r--r-- tjebelea risc Nov 12 1997 604 B index.cache
-rw-r--r-- tjebelea risc Nov 12 1997 545 kB lists.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 58 kB matsuda.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 2643 B program
-rw-r--r-- tjebelea risc Nov 12 1997 31 kB shand.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 675 kB simplifier.ps.gz
-rw-r--r-- tjebelea risc Nov 12 1997 48 kB yamada.ps.gz
webfs/1.21 31/Oct/2024 21:39:03 GMT