Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | changeset | files |
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 |