Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Unif.hs | 2012-01-21 13:14 | 3.3K | ||
Tableaux.hs | 2012-01-21 13:14 | 22K | ||
Skolem.hs | 2012-01-21 13:14 | 12K | ||
Resolution.hs | 2012-01-21 13:14 | 37K | ||
Prop.hs | 2012-01-21 13:14 | 18K | ||
Meson.hs | 2012-01-21 13:14 | 20K | ||
Formulas/ | 2012-01-21 13:14 | - | ||
FOL.hs | 2012-01-21 13:14 | 11K | ||
Equal.hs | 2012-01-21 13:14 | 13K | ||
Prolog.hs | 2011-12-21 16:38 | 7.2K | ||
Normal.hs | 2011-12-21 16:38 | 5.1K | ||
Lib.hs | 2011-12-21 16:38 | 27K | ||
Herbrand.hs | 2011-12-21 16:38 | 8.3K | ||
Cong.hs | 2011-12-21 16:38 | 3.6K | ||
DefCNF.hs | 2011-12-17 16:36 | 4.3K | ||
DP.hs | 2011-12-17 16:36 | 7.6K | ||
Tactics.hs | 2011-12-17 16:36 | 22K | ||
Stal.hs | 2011-12-17 16:36 | 10K | ||
Skolems.hs | 2011-12-17 16:36 | 928 | ||
Rewrite.hs | 2011-12-17 16:36 | 2.1K | ||
Real.hs | 2011-12-17 16:36 | 11K | ||
Quotexpander.hs | 2011-12-17 16:36 | 306 | ||
Qelim.hs | 2011-12-17 16:36 | 6.5K | ||
Propexamples.hs | 2011-12-17 16:36 | 7.8K | ||
Paramodulation.hs | 2011-12-17 16:36 | 3.3K | ||
Order.hs | 2011-12-17 16:36 | 2.0K | ||
Make.hs | 2011-12-17 16:36 | 6.5K | ||
Limitations.hs | 2011-12-17 16:36 | 33K | ||
Lcfprop.hs | 2011-12-17 16:36 | 21K | ||
Lcffol.hs | 2011-12-17 16:36 | 21K | ||
Lcf.hs | 2011-12-17 16:36 | 6.6K | ||
Intro.hs | 2011-12-17 16:36 | 7.3K | ||
Interpolation.hs | 2011-12-17 16:36 | 8.5K | ||
Initialization.hs | 2011-12-17 16:36 | 920 | ||
Init.hs | 2011-12-17 16:36 | 844 | ||
Grobner.hs | 2011-12-17 16:36 | 15K | ||
Geom.hs | 2011-12-17 16:36 | 11K | ||
FOLDerived.hs | 2011-12-17 16:36 | 12K | ||
Example.hs | 2011-12-17 16:36 | 8.2K | ||
EqElim.hs | 2011-12-17 16:36 | 9.4K | ||
Decidable.hs | 2011-12-17 16:36 | 13K | ||
Cooper.hs | 2011-12-17 16:36 | 20K | ||
Complex.hs | 2011-12-17 16:36 | 37K | ||
Completion.hs | 2011-12-17 16:36 | 23K | ||
Combining.hs | 2011-12-17 16:36 | 14K | ||
BDD.hs | 2011-12-17 16:36 | 8.4K | ||