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 Peter's copy of statements with quantifiers and their negations statements with quantifiers and their negations
Test Run Test Run
Author Peter Allen Bernhard von Stengel
Last modified 10/10/2018 12:29 24/03/2020 17:03