Index of /~avg/ProofChecker/ExpandTrace

 Name                    Last modified      Size  Description
 ex1.cnf                 2004-05-22 03:38   41   
 ex1.prfA                2004-05-22 04:23  284   
 ex3.prfA                2004-05-22 04:30  354   
 ex1.prfA32              2004-05-22 15:18  284   
 ex5-bad.prfA            2004-05-22 15:21  354   
 ex1.trA32               2004-05-23 13:16  272   
 ex5-bad.trA             2004-05-23 13:36  320   
 ex2.cnf                 2004-05-23 14:03   74   
 ex2A.prfA               2004-05-23 14:05  314   
 ex2B.prfA               2004-05-23 14:06  329   
 ex2B.trA                2004-05-23 14:11  297   
 cbigopen.h              2005-09-15 18:12  271   
 cbigopen.c              2005-09-15 18:13  834   
 expandtrace0.c          2005-09-18 20:09   30K  
 expandtrace0-2005       2005-09-18 20:09   28K  
 expandtrace0            2007-05-11 23:31   22K  
 Makefile                2007-05-12 23:58  846   
 expandtrace1.c          2007-05-13 00:42   30K  
 make-4.log              2007-05-13 00:43  156   
 expandtrace1            2007-05-13 00:43   39K  
 README-expandtrace      2007-05-13 01:05  1.7K