Directory contents

• entailed.nt (133 Kb)
• full.nt (266 Kb)
• inf-ont.nt (110 Kb)
• valid.nt (133 Kb)