/README/1.1.1.1/Sat Sep  5 22:59:22 1998//
/fol.elf/1.1.1.1/Sat Sep  5 22:59:22 1998//
/fol.thm/1.5/Fri Jun  4 16:27:41 1999//
/sources.cfg/1.3/Fri Jun  4 16:27:41 1999//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:22 1998//
D
