| Mon, 12 Aug 2013 20:04:03 +0200 | traytel | eliminated bogus assumption from theorem (that was instantiated with refl and resulted in flexflex pairs) | changeset | files |
| Mon, 12 Aug 2013 15:36:55 +0200 | traytel | generalized library function | changeset | files |
| Mon, 12 Aug 2013 18:03:47 +0200 | wenzelm | updated keywords; | changeset | files |
| Mon, 12 Aug 2013 18:02:01 +0200 | wenzelm | merged | changeset | files |