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