You are comparing two versions of an item. You can test run either item, and offer to merge one into the other. Merging an item into another effectively replaces the destination item with the source item.

After a merge, the destination item's name, licence and project are retained; everything else is copied from the source item.

Name Daniel's copy of statements with quantifiers and their negations Peter's copy of statements with quantifiers and their negations
Test Run Test Run
Author Daniel Mansfield Peter Allen
Last modified 22/08/2017 14:54 10/10/2018 12:29