Skip to main content
4 events
when toggle format what by license comment
Sep 30, 2018 at 9:08 history edited Andrej Bauer CC BY-SA 4.0
deleted 39 characters in body
Sep 30, 2018 at 8:34 history edited Andrej Bauer CC BY-SA 4.0
edited body
Sep 30, 2018 at 8:05 history edited Andrej Bauer CC BY-SA 4.0
added 423 characters in body
Sep 30, 2018 at 7:58 history answered Andrej Bauer CC BY-SA 4.0