Logic_CspCASL.hs revision 66bc8d6e69cde43f1ccbeb76104cf7b8038acd6c
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{-# LANGUAGE MultiParamTypeClasses, ScopedTypeVariables
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , TypeSynonymInstances #-}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{- |
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannModule : $Header$
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannDescription : CspCASL instance of type class logic
Error!

 

There was an error!

null

java.lang.NullPointerException