8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder{-# LANGUAGE ExistentialQuantification, MultiParamTypeClasses

8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder , DeriveDataTypeable, GeneralizedNewtypeDeriving #-}

d3f5a64c6ed1b24fcaedff9a6fd6f94fe6d8a785Christian Maeder{- |

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerModule : ./Logic/Grothendieck.hs

e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiDescription : Grothendieck logic (flattening of logic graph to a single logic)

java.lang.NullPointerException