Index of /pub/automated.reasoning

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]shorter/1992-12-18 14:29 -  
[   ]news36.aux1997-05-14 17:10 886  
[   ]news36.log1997-05-14 17:10 1.0K 
[TXT]news33.tex1996-07-10 09:44 15K 
[TXT]news32.tex1996-04-01 16:44 20K 
[TXT]news35.tex1997-01-27 09:39 23K 
[TXT]news29.tex1995-05-15 10:17 24K 
[TXT]news24.tex1994-02-17 16:09 25K 
[TXT]news26.tex1994-06-27 09:24 30K 
[   ]news33.ps.Z1996-07-08 10:14 30K 
[TXT]news27.tex1994-11-02 12:06 33K 
[TXT]news28.tex1995-01-24 11:07 35K 
[TXT]news25.tex1994-02-17 16:09 37K 
[TXT]news36backup.tex1997-05-14 16:36 37K 
[TXT]news36.tex1997-05-14 17:09 37K 
[TXT]news23.tex1993-07-21 15:30 39K 
[   ]news32.ps.Z1996-04-01 16:44 40K 
[   ]news29.ps.Z1995-05-15 10:12 43K 
[   ]news35.ps.Z1997-01-12 14:17 43K 
[TXT]news31.tex1995-12-06 13:14 45K 
[   ]news36.dvi1997-05-14 17:10 45K 
[TXT]news34.tex1996-10-29 10:03 47K 
[   ]news26.ps.Z1994-06-27 09:25 50K 
[   ]news24.ps.Z1994-02-17 16:09 50K 
[TXT]news30.tex1995-08-15 14:28 52K 
[   ]news27.ps.Z1994-11-02 12:06 55K 
[   ]news28.ps.Z1995-01-24 11:11 59K 
[   ]news25.ps.Z1994-02-17 16:09 60K 
[   ]news23.ps.Z1993-07-21 15:30 62K 
[   ]news31.ps.Z1995-12-06 13:15 68K 
[   ]news34.ps.Z1996-10-22 12:00 74K 
[   ]news30.ps.Z1995-08-15 14:28 75K 
[   ]prop2.eps1997-05-14 16:41 88K 
[   ]x2a.eps1997-05-14 16:42 90K 
[   ]news36.ps.Z1997-05-08 10:42 96K 
[   ]news36.ps1997-05-14 16:55 292K