Costack.hs
DefaultPropLogic.hs
FastPropLogic.hs
Main.hs
Olist.hs
PropLogic.cabal
PropLogic.hs
PropLogicCore.hs
PropLogicTest.hs
Setup.lhs
TextDisplay.hs