Directory contents

• entailed.nt (746 Kb)
• full.nt (746 Kb)
• inf-ont.nt (665 Kb)
• valid.nt (746 Kb)