Comorphisms/test/showKP.hs

	showKP.hs revision 127a36cba0c92b465681ec55ad366aca423735eb
{- |
Module      :  $Header$
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