implementation module PropositieLogica2

import StdEnv

::	PropL ...
::	Valuatie ...

instance toString PropL where
	toString ...

eval1 :: PropL -> Bool
eval1 ...

eval2 :: Valuatie PropL -> Bool
eval2 ...

vars :: PropL -> ...
vars ...

vals :: ...
vals ...

truths :: PropL -> [Valuatie]
truths ...

Start = 0