| Sat, 14 May 2016 13:52:01 +0200 | wenzelm | reverted accidental commit; | changeset | files |
| Fri, 13 May 2016 20:24:10 +0200 | wenzelm | eliminated use of empty "assms"; | changeset | files |
| Fri, 13 May 2016 20:22:02 +0200 | wenzelm | more complete theories; | changeset | files |