![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ProofCheck.jar | 16-Aug-2016 15:30 | 93K | |
| ProofCheckOld.jar | 16-Aug-2016 15:30 | 93K | |
| RQProofCheck.jar | 16-Aug-2016 15:30 | 97K | |
| allprobs.txt | 16-Aug-2016 15:30 | 740 | |
| connprobs.txt | 16-Aug-2016 15:30 | 299 | |
| connrules.txt | 16-Aug-2016 15:30 | 542 | |
| pc.html | 11-Jul-2018 15:39 | 779 | |
| predprobs.txt | 16-Aug-2016 15:30 | 413 | |
| predrules.txt | 16-Aug-2016 15:30 | 1.2K | |
| propprobs.txt | 16-Aug-2016 15:30 | 266 | |
| proprules.txt | 16-Aug-2016 15:30 | 554 | |
| rqpc.html | 16-Aug-2016 15:30 | 777 | |
| rqprobs.txt | 16-Aug-2016 15:30 | 299 | |
| rqrules.txt | 16-Aug-2016 15:30 | 1.5K | |
| testprob.txt | 16-Aug-2016 15:30 | 47 | |
| vivian.txt | 16-Aug-2016 15:30 | 510 | |