summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/insert_3
ModeNameSize
-rw-r--r--base_case.svg144050logplain
-rw-r--r--common.py4302logplain
-rw-r--r--en.py4331logplain
-rw-r--r--leading_heads_all_x.svg144292logplain
-rw-r--r--lost_heads.svg157828logplain
-rw-r--r--plan.svg154147logplain
-rw-r--r--sl.py4037logplain