Wed, 17 Jun 2015 17:21:11 +0200 | nipkow | renamed Multiset.set_of to the canonical set_mset | changeset | files |
Wed, 17 Jun 2015 15:15:52 +0100 | paulson | correccted the pretty-printing specs for setsum and setprod | changeset | files |
Wed, 17 Jun 2015 14:35:50 +0100 | paulson | New WF theorem by Tjark Weber. Replaced the proof of the subsequent theorem. | changeset | files |