listing: /pub/techreports/1997/97-20/papers/

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