Revision history for entry Vranas, Peter B. M. (2011). "New Foundations for Imperative Logic: Pure Imperative Inference" [VRANFF-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-04T22:45:26updateSystem / admin update -
2013-12-23T13:47:19updateSystem / admin update -
2013-12-23T13:47:01updateSystem / admin update -
2013-11-23T10:30:04updateSystem / admin update -
2013-11-23T10:28:43updateSystem / admin update -
2013-11-22T08:14:59updateSystem / admin update -
2013-11-22T08:13:35updateSystem / admin update -
2013-11-22T08:13:22updateSystem / admin update -
2013-11-22T08:13:21updateSystem / admin update -
2012-12-27T14:29:17update
2011-08-22T23:27:36updateSystem / admin update -
2011-07-24T14:42:00updateSystem / admin update -
2011-07-23T23:31:06updateSystem / admin update -