Revision history for entry Rushby, John: Mechanized analysis of Anselm’s modal ontological argument [RUSMAO-7]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-04-12T10:19:20updateSystem / admin update
2021-07-27T08:52:25updateSystem / admin update
2021-07-27T08:42:23updateSystem / admin update
2021-07-26T10:27:26updateSystem / admin update
2021-07-26T10:16:58updateSystem / admin update
2021-07-24T10:11:27updateSystem / admin update
2021-07-24T10:02:57updateSystem / admin update
2021-07-23T12:29:18updateSystem / admin update
2021-07-23T12:20:21updateSystem / admin update
2021-07-22T12:53:07updateSystem / admin update
2021-07-22T12:42:46updateSystem / admin update
2021-07-21T11:04:50updateSystem / admin update
2021-07-21T10:54:38updateSystem / admin update
2021-07-20T10:54:27updateSystem / admin update
2021-07-20T10:43:53updateSystem / admin update
2021-07-19T10:58:54updateSystem / admin update
2021-07-19T10:49:20updateSystem / admin update
2021-07-18T10:43:26updateSystem / admin update
2021-07-18T10:34:08updateSystem / admin update
2021-07-17T10:06:13updateSystem / admin update
2021-07-17T09:58:46updateSystem / admin update
2021-07-16T11:05:16updateSystem / admin update
2021-07-16T10:55:02updateSystem / admin update
2021-07-15T10:13:31updateSystem / admin update
2021-07-15T10:06:02updateSystem / admin update
2021-07-14T10:07:05updateSystem / admin update
2021-07-14T09:59:44updateSystem / admin update
2021-07-13T10:55:07updateSystem / admin update
2021-07-13T10:44:17updateSystem / admin update
2021-07-12T11:11:32updateSystem / admin update
2021-07-12T11:01:45updateSystem / admin update
2021-07-12T01:17:13updateSystem / admin update
2021-07-12T01:07:43updateSystem / admin update
2021-07-08T12:32:44updateSystem / admin update
2021-07-08T12:24:24updateSystem / admin update
2021-07-07T18:20:43updateSystem / admin update
2021-07-07T18:01:09updateSystem / admin update
2021-07-07T12:34:29updateSystem / admin update
2021-07-07T12:21:40updateSystem / admin update
2021-07-07T04:38:40updateSystem / admin update
2021-07-07T04:24:45updateSystem / admin update
2021-07-06T23:34:13updateSystem / admin update
2021-07-06T23:20:47updateSystem / admin update
2021-07-06T18:09:43updateSystem / admin update
2021-07-06T17:53:15updateSystem / admin update
2021-07-06T12:57:46updateSystem / admin update
2021-07-06T12:45:42updateSystem / admin update
2021-07-06T07:34:30updateSystem / admin update
2021-07-06T04:40:06updateSystem / admin update
2021-07-05T23:39:20updateSystem / admin update
2021-07-05T23:19:59updateSystem / admin update
2021-07-05T18:02:49updateSystem / admin update
2021-07-05T17:46:08updateSystem / admin update
2021-07-05T12:48:33updateSystem / admin update
2021-07-05T12:35:43updateSystem / admin update
2021-07-04T11:22:00updateSystem / admin update
2021-07-04T11:10:24updateSystem / admin update
2021-07-04T03:19:40updateSystem / admin update
2021-07-04T03:09:01updateSystem / admin update
2021-07-03T22:16:44updateSystem / admin update
2021-07-03T22:06:59updateSystem / admin update
2021-07-03T17:21:50updateSystem / admin update
2021-07-03T17:12:21updateSystem / admin update
2021-07-03T12:34:06updateSystem / admin update
2021-07-03T12:25:05updateSystem / admin update
2021-07-03T07:37:47updateSystem / admin update
2021-06-29T13:07:47updateSystem / admin update
2021-06-29T12:56:26updateSystem / admin update
2021-06-29T09:35:35updateSystem / admin update
2021-06-29T07:31:00updateSystem / admin update
2021-06-28T16:07:20updateSystem / admin update
2021-06-28T14:06:35updateSystem / admin update
2021-06-28T10:50:13updateSystem / admin update
2021-06-28T08:18:50updateSystem / admin update
2021-06-27T17:02:32updateSystem / admin update
2021-06-27T14:58:54updateSystem / admin update
2021-06-27T12:42:25updateSystem / admin update
2021-06-27T10:45:38updateSystem / admin update
2021-06-27T09:48:06updateSystem / admin update
2021-06-27T04:21:15updateSystem / admin update
2021-06-27T03:12:44updateSystem / admin update
2021-06-26T22:45:46updateSystem / admin update
2021-06-26T21:33:27updateSystem / admin update
2021-06-26T17:18:37updateSystem / admin update
2021-06-26T16:05:23updateSystem / admin update
2021-06-26T11:43:37updateSystem / admin update
2021-06-26T10:32:40updateSystem / admin update
2021-06-26T03:58:57updateSystem / admin update
2021-06-26T02:42:38updateSystem / admin update
2021-06-25T22:32:07updateSystem / admin update
2021-06-25T21:05:05updateSystem / admin update
2021-06-25T16:39:15updateSystem / admin update
2021-06-25T15:16:45updateSystem / admin update
2021-06-25T10:53:17updateSystem / admin update
2021-06-25T09:14:17updateSystem / admin update
2021-06-25T05:21:16updateSystem / admin update
2021-06-25T03:40:35updateSystem / admin update
2021-06-24T23:50:34updateSystem / admin update
2021-06-24T22:01:57updateSystem / admin update
2021-06-24T18:08:07updateSystem / admin update
2021-06-24T16:18:38updateSystem / admin update
2021-06-24T12:19:57updateSystem / admin update
2021-06-24T10:39:18updateSystem / admin update
2021-06-24T08:51:36updateSystem / admin update
2021-06-23T15:25:53updateSystem / admin update
2021-06-23T11:41:07updateSystem / admin update
2021-06-23T10:08:43updateSystem / admin update
2021-06-22T20:16:05updateSystem / admin update
2021-06-22T18:23:44updateSystem / admin update
2021-06-22T14:16:50updateSystem / admin update
2021-06-22T12:36:27updateSystem / admin update
2021-06-22T12:31:00updateSystem / admin update
2021-06-22T09:38:21updateSystem / admin update
2021-06-22T09:36:35updateSystem / admin update
2021-06-22T08:04:46updateSystem / admin update
2021-06-22T04:49:13updateSystem / admin update
2021-06-22T03:15:44updateSystem / admin update
2021-06-22T00:06:08updateSystem / admin update
2021-06-21T22:33:11updateSystem / admin update
2021-06-21T19:18:58updateSystem / admin update
2021-06-21T17:44:44updateSystem / admin update
2021-06-21T14:28:44updateSystem / admin update
2021-06-21T13:08:45updateSystem / admin update
2021-06-21T12:51:39updateSystem / admin update
2021-06-21T10:14:05updateSystem / admin update
2021-06-21T10:12:47updateSystem / admin update
2021-06-21T08:52:01updateSystem / admin update
2021-06-21T03:21:21updateSystem / admin update
2021-06-21T01:38:20updateSystem / admin update
2021-06-20T21:46:56updateSystem / admin update
2021-06-20T20:08:09updateSystem / admin update
2021-06-20T16:13:00updateSystem / admin update
2021-06-20T14:36:15updateSystem / admin update
2021-06-20T11:49:47updateSystem / admin update
2021-06-20T11:22:57updateSystem / admin update
2021-06-20T10:13:24updateSystem / admin update
2021-06-20T09:58:39updateSystem / admin update
2021-06-20T01:30:54updateSystem / admin update
2021-06-19T23:48:58updateSystem / admin update
2021-06-19T11:49:09updateSystem / admin update
2021-06-19T10:26:48updateSystem / admin update
2021-06-18T11:55:25updateSystem / admin update
2021-06-18T10:29:25updateSystem / admin update
2021-06-17T11:51:30updateSystem / admin update
2021-06-17T10:28:20updateSystem / admin update
2021-06-16T11:47:20updateSystem / admin update
2021-06-16T10:25:59updateSystem / admin update
2021-06-15T11:56:42updateSystem / admin update
2021-06-15T10:32:46updateSystem / admin update
2021-06-14T11:53:31updateSystem / admin update
2021-06-14T10:30:23updateSystem / admin update
2021-06-13T11:51:08updateSystem / admin update
2021-06-13T10:27:58updateSystem / admin update
2021-06-12T11:38:33updateSystem / admin update
2021-06-12T10:17:20updateSystem / admin update
2021-06-01T16:35:41updateSystem / admin update
2021-06-01T15:15:10updateSystem / admin update
2021-05-31T16:36:06updateSystem / admin update
2021-05-31T15:15:39updateSystem / admin update
2021-05-30T16:32:25updateSystem / admin update
2021-05-30T15:10:06updateSystem / admin update
2021-05-29T16:35:33updateSystem / admin update
2021-05-29T15:13:34updateSystem / admin update
2021-05-28T16:42:54updateSystem / admin update
2021-05-28T15:21:43updateSystem / admin update
2021-05-27T16:43:05updateSystem / admin update
2021-05-27T15:19:33updateSystem / admin update
2021-05-26T16:46:02updateSystem / admin update
2021-05-26T15:25:40updateSystem / admin update
2021-05-25T16:53:36updateSystem / admin update
2021-05-25T15:28:33updateSystem / admin update
2021-05-24T16:54:00updateSystem / admin update
2021-05-24T15:27:09updateSystem / admin update
2021-05-23T16:26:01updateSystem / admin update
2021-05-23T15:08:19updateSystem / admin update
2021-05-22T16:39:15updateSystem / admin update
2021-05-22T15:21:02updateSystem / admin update
2021-05-21T17:08:29updateSystem / admin update
2021-05-21T15:44:19updateSystem / admin update
2021-05-20T17:19:16updateSystem / admin update
2021-05-20T15:52:26updateSystem / admin update
2021-05-19T17:31:00updateSystem / admin update
2021-05-19T16:04:13updateSystem / admin update
2021-05-18T17:27:02updateSystem / admin update
2021-05-18T16:00:48updateSystem / admin update
2021-05-17T17:19:58updateSystem / admin update
2021-05-17T15:54:46updateSystem / admin update
2021-05-16T17:05:22updateSystem / admin update
2021-05-16T15:41:02updateSystem / admin update
2021-05-15T17:00:52updateSystem / admin update
2021-05-15T15:36:42updateSystem / admin update
2021-05-14T17:21:37updateSystem / admin update
2021-05-14T15:54:28updateSystem / admin update
2021-05-13T17:08:08updateSystem / admin update
2021-05-13T15:49:19updateSystem / admin update
2021-05-12T16:54:32updateSystem / admin update
2021-05-12T15:32:47updateSystem / admin update
2021-05-11T17:12:36updateSystem / admin update
2021-05-11T15:48:35updateSystem / admin update
2021-05-10T23:51:36updateSystem / admin update
2021-05-10T22:15:27updateSystem / admin update
2021-04-22T17:24:46updateSystem / admin update
2021-04-22T15:53:32updateSystem / admin update
2021-04-21T17:43:12updateSystem / admin update
2021-04-21T16:11:28updateSystem / admin update
2021-04-20T17:37:39updateSystem / admin update
2021-04-19T17:25:01updateSystem / admin update
2021-04-19T15:57:05updateSystem / admin update
2021-04-18T17:24:01updateSystem / admin update
2021-04-18T15:51:00updateSystem / admin update
2021-04-17T17:25:53updateSystem / admin update
2021-04-17T15:54:16updateSystem / admin update
2021-04-16T17:35:34updateSystem / admin update
2021-04-16T16:07:54updateSystem / admin update
2021-04-15T17:28:57updateSystem / admin update
2021-04-15T16:05:58updateSystem / admin update
2021-04-14T17:32:45updateSystem / admin update
2021-04-14T16:05:50updateSystem / admin update
2021-04-13T18:08:31updateSystem / admin update
2021-04-13T16:31:12updateSystem / admin update
2021-04-12T17:30:37updateSystem / admin update
2021-04-12T16:01:05updateSystem / admin update
2021-04-11T17:25:18updateSystem / admin update
2021-04-11T15:54:01updateSystem / admin update
2021-04-10T17:23:47updateSystem / admin update
2021-04-10T15:55:43updateSystem / admin update
2021-04-09T17:33:01updateSystem / admin update
2021-04-09T16:06:03updateSystem / admin update
2021-04-08T17:41:25updateSystem / admin update
2021-04-08T16:08:39updateSystem / admin update
2021-04-07T17:53:51updateSystem / admin update
2021-04-07T16:13:54updateSystem / admin update
2021-04-06T17:40:10updateSystem / admin update
2021-04-06T16:10:17updateSystem / admin update
2021-04-05T17:00:32updateSystem / admin update
2021-04-05T15:36:18updateSystem / admin update
2021-04-04T17:07:31updateSystem / admin update
2021-04-04T15:42:19updateSystem / admin update
2021-04-03T17:11:06updateSystem / admin update
2021-04-03T15:44:02updateSystem / admin update
2021-04-02T17:09:56updateSystem / admin update
2021-04-02T15:44:23updateSystem / admin update
2021-04-01T17:33:10updateSystem / admin update
2021-04-01T16:04:08updateSystem / admin update
2021-03-31T17:34:31updateSystem / admin update
2021-03-31T16:03:31updateSystem / admin update
2021-03-30T17:31:59updateSystem / admin update
2021-03-30T16:01:43updateSystem / admin update
2021-03-29T15:49:51updateSystem / admin update
2021-03-28T16:58:43updateSystem / admin update
2021-03-28T15:37:04updateSystem / admin update
2021-03-27T16:04:19updateSystem / admin update
2021-03-27T14:37:23updateSystem / admin update
2021-03-26T16:16:34updateSystem / admin update
2021-03-26T14:42:56updateSystem / admin update
2021-03-25T16:20:08updateSystem / admin update
2021-03-25T14:45:08updateSystem / admin update
2021-03-24T16:18:07updateSystem / admin update
2021-03-24T14:44:30updateSystem / admin update
2021-03-23T16:22:27updateSystem / admin update
2021-03-23T14:50:25updateSystem / admin update
2021-03-22T16:19:25updateSystem / admin update
2021-03-22T14:46:34updateSystem / admin update
2021-03-22T13:09:41updateSystem / admin update
2021-03-22T13:03:09updateSystem / admin update
2020-08-17T18:40:47updateSystem / admin update
2020-08-05T05:15:04update
2020-08-05T05:13:29update
2020-08-05T05:13:20update
2020-08-05T05:12:47update
2020-08-05T05:11:29update
2020-08-05T05:11:24update
2020-08-05T03:20:20updateSystem / admin update
2020-08-04T15:30:19addSystem / admin update