Wed, 17 Jun 2015 14:35:50 +0100 | paulson | New WF theorem by Tjark Weber. Replaced the proof of the subsequent theorem. | changeset | files |
Tue, 16 Jun 2015 20:50:00 +0100 | paulson | another messy proof fixed | changeset | files |
Mon, 15 Jun 2015 23:56:40 +0200 | wenzelm | merged | changeset | files |