Changes
Jump to navigation
Jump to search
31 bytes added
, 3 years ago
Line 95: |
Line 95: |
| * ??? | | * ??? |
| | | |
− | |T -> U/resource = | + | |T/empty -> U/resource = |
| *??? | | *??? |
− | |T -> V = | + | |T/empty -> V = |
| *??? | | *??? |
| | | |
Line 104: |
Line 104: |
| |W > Z = | | |W > Z = |
| *??? | | *??? |
− | |X -> Z = | + | |
| + | |X/resource -> Z = |
| *??? | | *??? |
− | |X -> Y = | + | |X/resource -> Y = |
| *??? | | *??? |
| }} | | }} |