Thu, 27 Aug 2015 13:07:45 +0200 | haftmann | more lemmas on sorting and multisets (due to Thomas Sewell) | changeset | files |
Thu, 27 Aug 2015 20:16:07 +0200 | blanchet | robust handling of Vampire 4 proofs | changeset | files |
Thu, 27 Aug 2015 20:10:40 +0200 | blanchet | reverted 6ac3172985d4 -- the old URL has been restored | changeset | files |