Revision history for entry Farmer, William M. (1995). "Reasoning about partial functions with the aid of a computer" [FARRAP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-06T11:08:22updateSystem / admin update -
2014-08-17T07:15:04update
2014-03-30T10:09:28updateSystem / admin update -
2013-11-21T07:14:07updateSystem / admin update -
2013-11-21T07:14:06updateSystem / admin update -
2013-11-21T07:13:51updateSystem / admin update -
2013-01-23T15:43:52updateSystem / admin update -
2013-01-23T15:43:52updateSystem / admin update -
2012-01-11T23:57:09update
2012-01-11T23:57:09update
2012-01-11T23:57:08update
2012-01-11T23:57:05update