CafeOBJ Codes

• qlock.cafe
• qlockTrans.cafe
• mex.cafe
• falisificationBySearch.cafe
• qlockObEq.cafe
• verificationBySearchWithObEq.cafe
• csQtopPS.cafe
• simOfQLOCKbyQLOCKijPS.cafe