![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| hint_images/ | 2026-09-13 13:41 | - | |
| interpretations.pdf | 2026-09-13 13:41 | 106K | |
| temptruthvalueassign..> | 2026-09-13 13:41 | 95K | |
| missingformulae6.pdf | 2026-09-13 13:41 | 119K | |
| temptruthvalueassign..> | 2026-09-13 13:41 | 118K | |
| missingformulae4.pdf | 2026-09-13 13:41 | 148K | |
| missingformulae5.pdf | 2026-09-13 13:41 | 128K | |
| parsetreeconstructio..> | 2026-09-13 13:41 | 162K | |
| contradictorypairs2.pdf | 2026-09-13 13:41 | 97K | |
| parsetreeconstructio..> | 2026-09-13 13:41 | 150K | |
| parsetreeconstructio..> | 2026-09-13 13:41 | 148K | |
| parsetreeconstructio..> | 2026-09-13 13:41 | 156K | |
| parsetreeconstructio..> | 2026-09-13 13:41 | 142K | |
| DIGchart.html | 2026-09-13 13:41 | 7.3K | |
| predinsertparens2.pdf | 2026-09-13 13:41 | 190K | |
| validity6.gif | 2026-09-13 13:41 | 21K | |
| insertparens3.pdf | 2026-09-13 13:41 | 48K | |
| missingformulae3.pdf | 2026-09-13 13:41 | 112K | |
| validity4.gif | 2026-09-13 13:41 | 20K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 130K | |
| validity5.gif | 2026-09-13 13:41 | 19K | |
| insertparens2.pdf | 2026-09-13 13:41 | 46K | |
| contradictorypairs.pdf | 2026-09-13 13:41 | 115K | |
| validity4.pdf | 2026-09-13 13:41 | 102K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 120K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 124K | |
| missingformulae.pdf | 2026-09-13 13:41 | 128K | |
| validity2.pdf | 2026-09-13 13:41 | 88K | |
| temptruthvalueassign..> | 2026-09-13 13:41 | 91K | |
| validity3.pdf | 2026-09-13 13:41 | 109K | |
| validity5.pdf | 2026-09-13 13:41 | 99K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 139K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 118K | |
| missingformulae2.pdf | 2026-09-13 13:41 | 122K | |
| validity.pdf | 2026-09-13 13:41 | 75K | |
| predinsertparens.pdf | 2026-09-13 13:41 | 110K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 123K | |
| validity6.pdf | 2026-09-13 13:41 | 102K | |
| validity2.gif | 2026-09-13 13:41 | 13K | |
| tempmissingjustifica..> | 2026-09-13 13:41 | 135K | |
| validity3.gif | 2026-09-13 13:41 | 22K | |
| validity.gif | 2026-09-13 13:41 | 19K | |
| insertparens.pdf | 2026-09-13 13:41 | 97K | |
| parsetreeconstructio..> | 2026-09-13 13:41 | 148K | |