Comorphisms/test/showKP.hs

	showKP.hs revision e9458b1a7a19a63aa4c179f9ab20f4d50681c168
{- |
Module      :  ./Comorphisms/test/showKP.hs
Copyright   :  (c) C. Maeder, DFKI GmbH 2010
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  experimental
Portability :  non-portable (via imports)

-}

module Main where

import Comorphisms.KnownProvers

main :: IO ()
main = showAllKnownProvers