f1af441c245fbecb3453fa730eed772519f293ccChristian Maeder{-# LANGUAGE DeriveDataTypeable #-}

e51568cd733ccb83a799f48f0802095e3f3a8d62Christian Maeder{- |

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerModule : ./Logic/Prover.hs

81bc059e878640f897258de3e319fe2025a5622cTill MossakowskiDescription : General datastructures for theorem prover interfaces

d5fe06af711a6912ae028ebf873eada4ee8733f8Christian MaederCopyright : (c) Till Mossakowski, Klaus Luettich, Uni Bremen 2002-2005

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt

java.lang.NullPointerException