Copyright | (c) Eugen Kuksa and Uni Bremen 2011 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | eugenk@informatik.uni-bremen.de |

Stability | experimental |

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

Safe Haskell | None |

The translating comorphism from Propositional to CommonLogic.

## Synopsis

- data Prop2CommonLogic = Prop2CommonLogic

# Documentation

data Prop2CommonLogic Source #

lid of the morphism