Index of /2000/10/swap/test/reason

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT],judy-proof.n323-Jul-2014 15:41 251K 
[TXT],no-B-judy-proof.n323-Jul-2014 15:41 251K 
[TXT],paw-flattened.n323-Jul-2014 15:41 174  
[TXT],paw-munged-1.n323-Jul-2014 15:41 219K 
[TXT],paw-munged.n323-Jul-2014 15:41 204K 
[TXT],pf-1.n323-Jul-2014 15:41 311K 
[TXT],pf-named.n323-Jul-2014 15:41 194K 
[TXT],pf-rdf.n323-Jul-2014 15:41 258K 
[TXT],pf.n323-Jul-2014 15:41 317K 
[   ],pf.xml23-Jul-2014 15:41 1.1M 
[TXT],pf1.n323-Jul-2014 15:41 3.5K 
[TXT],pf2.n323-Jul-2014 15:41 307K 
[TXT],pfproxy.py23-Jul-2014 15:41 12K 
[TXT],pfproxy2.py23-Jul-2014 15:41 13K 
[   ]Makefile28-May-2006 16:39 1.5K 
[TXT]Prem.py23-Jul-2014 15:41 439  
[TXT]README.txt24-Oct-2005 16:58 323  
[TXT]animal-goal.n328-May-2006 16:35 315  
[TXT]animals-proof.n305-Jun-2006 18:20 84K 
[   ]animals-proof.pml05-Jun-2006 18:20 173K 
[TXT]animals.n328-May-2006 16:35 4.7K 
[TXT]conf_reg_ex.n322-Sep-2006 03:01 378  
[TXT]contradiction.n317-Dec-2009 03:44 108  
[TXT]danc.n307-Jul-2006 03:30 354  
[   ]detailed.tests13-Dec-2007 15:38 7.1K 
[TXT]double.n313-Feb-2007 21:35 185  
[TXT]doubleBind.n323-Jul-2014 15:41 280  
[TXT]e.n316-Jan-2003 14:23 20  
[TXT]engine.n323-Jul-2014 15:41 2.5K 
[TXT]eric-a.n307-Jan-2003 20:59 114  
[TXT]eric-b.n307-Jan-2003 20:59 256  
[TXT]eric-out.n325-Jun-2004 01:27 781  
[   ]eric-out.proof07-Jan-2003 21:02 3.7K 
[TXT]f9.n324-Oct-2005 16:58 138  
[TXT]filter.n323-Jul-2014 15:41 1.4K 
[TXT]gmpbnode.n308-Sep-2006 04:30 143  
[TXT]iw.n324-Oct-2005 16:58 21K 
[TXT]joe_profile.n322-Sep-2006 03:01 131  
[TXT]judy-checked.n323-Jul-2014 15:41 0  
[TXT]judy-proof.n302-Nov-2005 00:06 287K 
[TXT]judy-req.n323-Jul-2014 15:41 784  
[   ]judy-req.rdf23-Jul-2014 15:41 1.2K 
[TXT]judy-result.n323-Jul-2014 15:41 293  
[TXT]longChain.n318-Nov-2007 03:00 37K 
[TXT]math-test-bit.n322-Aug-2005 21:12 1.1K 
[TXT]math-test-works-with-why.n324-Oct-2005 16:58 3.9K 
[TXT]math-test.n324-Oct-2005 16:58 3.9K 
[TXT]p-premise.n323-Jul-2014 15:41 1.0K 
[TXT]paw-proof.n321-Dec-2005 19:41 311K 
[TXT]paw-t1.n323-Jul-2014 15:41 574  
[TXT]pfcheck1.n321-Dec-2005 19:55 690  
[TXT]pml-example.n324-Oct-2005 16:58 1.1K 
[   ]pml-example.rdf24-Oct-2005 16:58 1.1K 
[TXT]poor-urop.n306-Aug-2007 16:13 458  
[TXT]proof-munge.n323-Jul-2014 15:41 305  
[TXT]reason-report.n307-Jun-2006 15:07 3.4K 
[TXT]rename-loop.n307-Jul-2006 03:30 198  
[TXT]revfunc.n317-Dec-2009 03:44 212  
[TXT]single_gen.n306-Aug-2007 16:13 66  
[TXT]soc-goal.n306-Nov-2006 23:10 66  
[TXT]soc-rdfs.n306-Nov-2006 23:05 174  
[TXT]socrates.n327-Jun-2007 17:58 119  
[   ]t1.checked22-Aug-2005 21:12 156  
[TXT]t1.n305-Dec-2002 04:10 13  
[   ]t1.pml09-Mar-2006 16:51 6.5K 
[   ]t1.proof22-Aug-2005 21:12 700  
[   ]t2.checked22-Aug-2005 21:12 309  
[TXT]t2.n307-Dec-2002 01:12 37  
[   ]t2.proof22-Aug-2005 21:12 931  
[   ]t3.checked22-Aug-2005 21:12 277  
[TXT]t3.n330-Dec-2002 15:00 67  
[   ]t3.proof22-Aug-2005 21:12 2.1K 
[   ]t4.checked22-Aug-2005 21:12 718  
[TXT]t4.n323-Aug-2005 21:05 62  
[   ]t4.pml23-Aug-2005 21:14 2.9K 
[   ]t4.proof23-Aug-2005 21:05 2.6K 
[   ]t5-a.proof08-Dec-2002 05:27 1.9K 
[   ]t5.checked22-Aug-2005 21:12 400  
[TXT]t5.n330-Dec-2002 15:00 133  
[   ]t5.proof22-Aug-2005 21:12 3.1K 
[TXT]t8.n308-Apr-2003 16:12 96  
[TXT]t9.n302-Nov-2005 00:06 102  
[   ]t9.proof23-Jul-2014 15:41 1.9K 
[TXT]t10.n323-Jul-2014 15:41 153  
[TXT]tests.n316-Jan-2003 14:23 1.7K 
[TXT]timbl.n307-Jul-2006 03:30 336  
[TXT]to-pml.n318-Feb-2006 04:04 3.1K 
[TXT]troop42-policy.n323-Jul-2014 15:41 4.1K 
[TXT]witch-goal.n303-Jan-2007 03:03 79  
[   ]witch-pf-pml.rdf02-Feb-2007 19:25 10K 
[TXT]witch-pf.n303-Jan-2007 03:03 8.9K 
[TXT]witch-pf.txt03-Jan-2007 03:03 1.8K 
[TXT]witch.n303-Jan-2007 03:03 679