![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Fig4.10-instAll.key | 2024-09-02 03:27 | 321 | |
| Fig4.2-expLemma.key | 2024-09-02 03:27 | 335 | |
| Fig4.1-expAxioms.key | 2024-09-02 03:27 | 361 | |
| Fig4.3-propositionalRules.key | 2024-09-02 03:27 | 452 | |
| Fig4.4-firstOrderRules.key | 2024-09-02 03:27 | 506 | |
| Fig4.6-ifElseSplit.key | 2024-09-02 03:27 | 526 | |
| Sect4.4.2-optionalExpAxioms.key | 2024-09-02 03:27 | 615 | |
| Fig4.7-assign.key | 2024-09-02 03:27 | 665 | |
| Fig4.5-rewritingRules.key | 2024-09-02 03:27 | 716 | |