projects / fireball-separation.git / search
| 2018-06-07 | acondolu | Syntactic fixes to distinction + Some commented out... |
commit | commitdiff | tree |
| 2018-06-05 | acondolu | Added file with strong calculus and definition of distinction |
commit | commitdiff | tree |
| 2018-06-04 | acondolu | Thoughts on sigma-separation and a good sufficient... |
commit | commitdiff | tree |
| 2018-05-29 | acondolu | Fixes |
commit | commitdiff | tree |
| 2018-05-29 | acondolu | Added strong calculus for separation, plus some ac... |
commit | commitdiff | tree |
| 2018-05-29 | acondolu | Added AC's local stub of a report on strong separation |
commit | commitdiff | tree |