Copyright | (c) Jonathan von Schroeder DFKI GmbH 2010 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | <jonathan.von_schroeder@dfki.de> |

Stability | experimental |

Portability | non-portable (imports Logic.Logic) |

Safe Haskell | None |

# Documentation

lid of the morphism