Here is the place where the class Logic is instantiated for HasCASL. Also the instances for Syntax an Category.
todo: - writing real functions