data/djinn-2014.9.7/src/LJTFormula.hs:7: applys ==> applies
data/djinn-2014.9.7/src/LJTFormula.hs:95: applys ==> applies
data/djinn-2014.9.7/src/LJTFormula.hs:96: applys ==> applies
data/djinn-2014.9.7/src/LJT.hs:87: applys ==> applies
data/djinn-2014.9.7/src/LJT.hs:124: applys ==> applies
data/djinn-2014.9.7/src/LJT.hs:132: applys ==> applies
data/djinn-2014.9.7/src/LJT.hs:328: applys ==> applies
data/djinn-2014.9.7/src/LJT.hs:337: applys ==> applies
data/djinn-2014.9.7/src/LJT.hs:426: applys ==> applies
data/djinn-2014.9.7/src/Help.hs:108: infinitly ==> infinitely
data/djinn-2014.9.7/src/Djinn.hs:274: envirnment ==> environment
data/djinn-2014.9.7/src/HTypes.hs:253: te ==> the, be, we
data/djinn-2014.9.7/src/HTypes.hs:255: te ==> the, be, we
data/djinn-2014.9.7/.pc/newer-base/src/HTypes.hs:252: te ==> the, be, we
data/djinn-2014.9.7/.pc/newer-base/src/HTypes.hs:254: te ==> the, be, we