Index of /~avg/ProofChecker/ExpandTrace

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[TXT]Makefile12-May-2007 23:58 846
[TXT]README-expandtrace13-May-2007 01:05 1.7K
[TXT]cbigopen.c15-Sep-2005 18:13 834
[TXT]cbigopen.h15-Sep-2005 18:12 271
[TXT]ex1.cnf22-May-2004 03:38 41
[   ]ex1.prfA22-May-2004 04:23 284
[   ]ex1.prfA3222-May-2004 15:18 284
[   ]ex1.trA3223-May-2004 13:16 272
[TXT]ex2.cnf23-May-2004 14:03 74
[   ]ex2A.prfA23-May-2004 14:05 314
[   ]ex2B.prfA23-May-2004 14:06 329
[   ]ex2B.trA23-May-2004 14:11 297
[   ]ex3.prfA22-May-2004 04:30 354
[   ]ex5-bad.prfA22-May-2004 15:21 354
[   ]ex5-bad.trA23-May-2004 13:36 320
[   ]expandtrace011-May-2007 23:31 22K
[   ]expandtrace0-200518-Sep-2005 20:09 28K
[TXT]expandtrace0.c18-Sep-2005 20:09 30K
[   ]expandtrace113-May-2007 00:43 39K
[TXT]expandtrace1.c13-May-2007 00:42 30K
[   ]make-4.log13-May-2007 00:43 156

Apache/2.2.3 (CentOS) Server at users.soe.ucsc.edu Port 80