Deducteam/lambdapi-logics

Logic files for Lambdapi

MakefileNOASSERTION