| HEAD | 55540e9 | Update .gitignore | 12 November 2020, 17:47:42 UTC |
| refs/heads/cut-elimination | 4ddcbda | Commented out natural deduction | 16 March 2015, 19:10:44 UTC |
| refs/heads/d_devel | 1584053 | Some progress on D proof generation | 30 March 2015, 20:33:03 UTC |
| refs/heads/dancing-links | 88e3d89 | Some cleaning up | 11 March 2015, 00:52:25 UTC |
| refs/heads/displacement | df7213a | Corrected error in constraints | 03 April 2015, 21:38:18 UTC |
| refs/heads/eta | 19e8ca5 | Added portray simplication for appl/2 with up to five arguments | 18 October 2016, 19:42:33 UTC |
| refs/heads/features | cf17188 | Completed d_grammar with case This is still a very rudimentary version of case. | 08 April 2015, 13:42:36 UTC |
| refs/heads/gh-pages | 9e2c542 | Create gh-pages branch via GitHub | 02 May 2015, 23:54:02 UTC |
| refs/heads/hybrid_proofs | 7f84f3f | Preparing merge | 25 March 2015, 23:39:15 UTC |
| refs/heads/lambda | 33df651 | Added "which" and extra sentence | 05 May 2015, 06:56:09 UTC |
| refs/heads/lambda-pure | 3b1b003 | Changed prosodic term output to "pure" | 04 May 2015, 19:08:55 UTC |
| refs/heads/master | 55540e9 | Update .gitignore | 12 November 2020, 17:47:42 UTC |
| refs/heads/natural-deduction | 5b35d42 | Streamlined semantics | 24 March 2015, 13:38:44 UTC |
| refs/heads/select-random | a081f7b | Preparing merge | 15 July 2015, 18:08:59 UTC |
