Revision history for entry Kreisel, Georg: Informal Rigour and Completeness Proofs [KREIRA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2016-04-20T02:25:03update
2015-03-18T04:24:09updateSystem / admin update
2014-01-31T04:45:29updateSystem / admin update
2011-03-21T01:45:19update
2011-03-20T11:24:34update
2011-03-20T11:24:34add