Revision history for entry Fitting, Melvin: A tableau proof method admitting the empty domain [MELATP-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-04-13T15:33:45updateSystem / admin update
2021-03-24T13:24:06updateSystem / admin update
2021-03-21T13:00:16updateSystem / admin update
2017-02-07T10:02:54updateSystem / admin update
2017-01-21T04:32:33updateSystem / admin update
2015-02-04T23:45:31updateSystem / admin update
2013-12-01T19:31:36updateSystem / admin update
2013-11-22T13:34:12updateSystem / admin update
2013-11-02T22:52:12updateSystem / admin update
2013-11-02T07:25:38updateSystem / admin update
2010-10-28T13:42:30updateSystem / admin update
2010-10-01T19:42:11updateSystem / admin update
2010-09-23T17:06:06addSystem / admin update