alf            1434317  ALF
alf               2127  ALF/bin
alf              86510  ALF/docs
alf             221147  ALF/examples
alf             133184  ALF/examples/MAC
alf             603005  ALF/implementation
alf               7452  ALF/implementation/alf-general
alf              46566  ALF/implementation/bytecode
alf             225307  ALF/implementation/compiler
alf               1474  ALF/implementation/qprolog
alf               1584  ALF/implementation/sbprolog
alf             311971  ALF/implementation/sowam
alf                169  ALF/implementation/sowam/Optimized
alf                185  ALF/implementation/sowam/Stat
alf             213685  ALF/localbin
alf               5542  ALF/modules
alf             299037  ALF/prepro