Revision history for entry Standefer, Shawn: Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Nat.. [STATBG]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-04-23T17:25:19update
2020-05-15T14:13:07updateSystem / admin update
2020-02-20T18:17:16updateSystem / admin update
2020-02-20T14:35:50updateSystem / admin update
2020-02-19T17:58:19updateSystem / admin update
2020-02-19T14:35:33updateSystem / admin update
2020-02-18T18:03:43updateSystem / admin update
2020-02-18T14:35:44updateSystem / admin update
2020-02-17T18:02:27updateSystem / admin update
2020-02-17T14:35:30updateSystem / admin update
2020-02-16T17:51:32updateSystem / admin update
2020-02-16T14:35:45updateSystem / admin update
2020-02-15T17:53:18updateSystem / admin update
2020-02-15T14:35:32updateSystem / admin update
2020-02-14T17:50:18updateSystem / admin update
2020-02-14T14:35:57updateSystem / admin update
2020-02-13T17:57:19updateSystem / admin update
2020-02-13T14:35:57updateSystem / admin update
2020-02-12T18:14:15updateSystem / admin update
2020-02-12T14:36:16updateSystem / admin update
2020-02-11T18:06:19updateSystem / admin update
2020-02-11T14:36:09updateSystem / admin update
2020-02-10T17:38:40updateSystem / admin update
2020-02-10T14:35:18updateSystem / admin update
2020-02-09T17:45:04updateSystem / admin update
2020-02-09T14:35:12updateSystem / admin update
2020-02-08T17:30:34updateSystem / admin update
2020-02-08T14:37:00updateSystem / admin update
2020-02-07T17:28:42updateSystem / admin update
2020-02-07T14:35:06updateSystem / admin update
2020-02-06T17:23:01updateSystem / admin update
2020-02-06T14:35:24updateSystem / admin update
2020-02-03T17:24:13updateSystem / admin update
2020-02-03T14:35:07updateSystem / admin update
2020-02-02T17:20:37updateSystem / admin update
2020-02-02T14:35:42updateSystem / admin update
2020-02-01T17:26:28updateSystem / admin update
2020-02-01T14:35:36updateSystem / admin update
2020-01-31T17:21:42updateSystem / admin update
2020-01-31T14:35:30updateSystem / admin update
2020-01-21T14:35:22updateSystem / admin update
2020-01-20T14:35:17updateSystem / admin update
2020-01-18T14:35:21updateSystem / admin update
2020-01-15T14:35:33updateSystem / admin update
2020-01-14T14:35:15updateSystem / admin update
2020-01-13T14:35:21updateSystem / admin update
2020-01-12T14:36:18updateSystem / admin update
2020-01-10T14:35:59updateSystem / admin update
2020-01-09T14:35:28updateSystem / admin update
2020-01-08T14:35:14updateSystem / admin update
2020-01-05T14:35:12updateSystem / admin update
2020-01-04T14:35:28updateSystem / admin update
2019-11-02T14:11:49updateSystem / admin update
2019-11-01T16:16:17updateSystem / admin update
2018-09-26T00:17:57update
2018-09-26T03:20:21updateSystem / admin update
2018-09-25T15:45:23addSystem / admin update