/test/coq/pass/

• ../
• allpats.sail
• atom.sail
• castunitvec.sail
• exatom.sail
• irref.sail
• rangetest.sail