![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Formulas/ | 2013-06-18 19:03 | - | |
| LICENSE.txt | 2013-06-18 19:03 | 1.6K | |
| Unif.hs | 2013-06-18 19:03 | 4.5K | |
| Normal.hs | 2013-06-18 19:03 | 6.0K | |
| DefCNF.hs | 2013-06-18 19:03 | 6.7K | |
| Prolog.hs | 2013-06-18 19:03 | 7.2K | |
| FOL.hs | 2013-06-18 19:03 | 13K | |
| DP.hs | 2013-06-18 19:03 | 13K | |
| Herbrand.hs | 2013-06-18 19:03 | 13K | |
| Equal.hs | 2013-06-18 19:03 | 14K | |
| Skolem.hs | 2013-06-18 19:03 | 15K | |
| Prop.hs | 2013-06-18 19:03 | 19K | |
| Meson.hs | 2013-06-18 19:03 | 20K | |
| PropExamples.hs | 2013-06-18 19:03 | 21K | |
| Tableaux.hs | 2013-06-29 18:46 | 25K | |
| Lib.hs | 2013-06-18 19:03 | 28K | |
| Resolution.hs | 2013-06-18 19:03 | 38K | |