CafeOBJ Codes for Lecture 12 of i613-0912

• entities.mod
• transition-pattern.mod
• sale-and-ship.mod
• inv.mod
• proof1.mod
• proof2.mod
• proof3.mod
• proof4.mod
• proof5.mod
• proof6.mod
• proof7.mod
• proof8.mod
• proof9.mod
• proof10.mod
• proof11.mod