summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_if_3
ModeNameSize
-rw-r--r--common.py2147logplain
-rw-r--r--en.py523logplain