Files used in lecture 09b:

qlock.mod
qlock.maude
nspk.maude
nspk.mod
invariants.mod
proof1.mod
proof2.mod