../ bool.minitt 13-Sep-2019 21:03 643 bool.out 14-Sep-2019 19:40 41 empty-eliminate.minitt 01-Apr-2019 20:52 193 empty-eliminate.out 14-Sep-2019 19:41 41 maybe.minitt 20-Apr-2019 06:52 632 maybe.out 14-Sep-2019 19:40 41 merge.minitt 28-Mar-2019 03:01 180 merge.out 14-Sep-2019 19:41 41 nat.minitt 15-Mar-2019 19:51 371 nat.out 14-Sep-2019 19:41 41