Effective ATS:
Dining Philosophers (2)

• main.html
• Makefile
• DiningPhil2.sats
• DiningPhil2.dats
• DiningPhil2_fork.dats
• DiningPhil2_mylib.dats