Revision history for entry Bunder, M. W.: Some improvements to Turner's algorithm for bracket abstraction [BUNSIT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-21T03:38:49updateSystem / admin update
2016-06-30T13:08:44updateSystem / admin update
2015-02-05T06:57:54updateSystem / admin update
2013-11-22T12:06:46updateSystem / admin update
2013-11-04T09:20:20updateSystem / admin update