Revision history for entry Tamminga, Allard; Tanaka, Koji: A natural deduction system for first degree en.. [TAMAND]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-10-13T11:54:16update
2015-02-04T23:41:11updateSystem / admin update -
2014-03-28T20:21:37updateSystem / admin update -
2013-11-22T13:41:23updateSystem / admin update -
2013-11-22T13:41:15updateSystem / admin update -
2013-11-04T11:10:40updateSystem / admin update -
2012-01-25T09:06:30update
2012-01-25T09:06:30update
2012-01-24T16:58:27update
2012-01-24T16:58:27update
2012-01-24T16:58:26update
2012-01-24T16:51:57update
2010-10-28T13:41:53updateSystem / admin update -
2010-09-23T17:09:26updateSystem / admin update -
2010-08-25T13:39:06addSystem / admin update -