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-05T03:45:26updateSystem / admin update -
2013-12-23T18:47:19updateSystem / admin update -
2013-12-23T18:47:01updateSystem / admin update -
2013-11-23T15:30:04updateSystem / admin update -
2013-11-23T15:28:43updateSystem / admin update -
2013-11-22T13:14:59updateSystem / admin update -
2013-11-22T13:13:35updateSystem / admin update -
2013-11-22T13:13:22updateSystem / admin update -
2013-11-22T13:13:21updateSystem / admin update -
2012-12-27T19:29:17update
2011-08-23T04:27:36updateSystem / admin update -
2011-07-24T19:42:00updateSystem / admin update -
2011-07-24T04:31:06updateSystem / admin update -