Files for Lecture14 of i613-0912

• HOWTO.txt
• qlock.mod
• NSPK.mod
• ots-maude.maude
• full-maude.maude