| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added .gitignore, updated & commented prepositional logic axioms.HEADmaster | Dan Krejsa | 2010-02-28 | 2 | -6/+54 |
| * | Adding pred-set-min-zip.ghi for navigaiting expressions with A. or E. . | Dan Krejsa | 2009-01-11 | 1 | -0/+14 |
| * | Adding prop-min-zip.ghi axioms allowing navigation of wffs and applying equiv... | Dan Krejsa | 2008-12-13 | 1 | -0/+52 |
| * | Initial commit. | Dan Krejsa | 2008-10-25 | 8 | -0/+1844 |
 |
index : spock/mainline | |
| mainline |
| summaryrefslogtreecommitdiffstats |