Line 5,827: |
Line 5,827: |
| |} | | |} |
| | | |
− | =====1.3.11.7. Syntactic Transformations=====
| + | ====1.3.12. Syntactic Transformations==== |
| | | |
− | =====1.3.11.8. Derived Equivalence Relations===== | + | =====1.3.12.1. Syntactic Transformation Rules===== |
| | | |
− | =====1.3.11.9. Digression on Derived Relations===== | + | =====1.3.12.2. Derived Equivalence Relations===== |
| + | |
| + | =====1.3.12.3. Digression on Derived Relations===== |
| | | |
| ==References== | | ==References== |