Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Propositional.hs | 2012-04-16 03:24 | 15K | ||
FirstOrder.hs | 2014-03-29 14:59 | 13K | ||
Equals.hs | 2014-03-26 18:41 | 10K | ||
Apply.hs | 2014-03-29 14:59 | 5.4K | ||
Literal.hs | 2014-03-29 14:59 | 3.8K | ||
Combine.hs | 2012-01-21 13:27 | 3.7K | ||
Term.hs | 2012-01-21 13:27 | 3.1K | ||
Pretty.hs | 2012-01-22 18:00 | 2.3K | ||
Atom.hs | 2012-01-18 05:00 | 1.6K | ||
Negate.hs | 2012-01-09 18:50 | 1.4K | ||
Variable.hs | 2012-01-13 21:36 | 1.1K | ||
Constants.hs | 2012-01-21 13:27 | 823 | ||
Skolem.hs | 2012-01-21 13:27 | 656 | ||
ClauseNormalForm.hs | 2011-12-28 06:34 | 621 | ||
Arity.hs | 2011-12-28 06:34 | 434 | ||
Formula.hs | 2014-03-26 18:41 | 393 | ||