Revision history for entry Junker, Markus: A note on equational theories [JUNANO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2024-02-06T23:48:33updateSystem / admin update
2019-05-09T13:38:58updateSystem / admin update
2017-01-18T17:58:39updateSystem / admin update
2016-06-30T12:29:12updateSystem / admin update
2015-02-05T07:23:22updateSystem / admin update
2013-11-22T12:10:18updateSystem / admin update
2013-11-04T10:48:38updateSystem / admin update