Directory contents

• entailed.nt (286 Kb)
• full.nt (143 Kb)
• inf-ont.nt (119 Kb)