Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for module-management-0.20.2 source tarball
module-management-0.20.2/testdata/logic/Data/Logic/Harrison/
DP.hs
DefCNF.hs
Equal.hs
FOL.hs
Herbrand.hs
LICENSE.txt
Lib.hs
Meson.hs
Normal.hs
Prolog.hs
Prop.hs
PropExamples.hs
Resolution.hs
Skolem.hs
Tableaux.hs
Unif.hs
Formulas/
FirstOrder.hs
Propositional.hs