Source Code

Sources

• ./PropositionalLogic.hs
• ./ToLatex.hs
• /Lambda.hs
• /LatexPropositions.hs
• /Main.hs
• /PL1.hs
• /PropositionalLogic.hs

all source files as g-zipped tar file