| Tue, 07 Jun 2016 20:45:07 +0200 | wenzelm | less ambitious arguments: thms only, no context declaration; | changeset | files |
| Tue, 07 Jun 2016 19:59:42 +0200 | wenzelm | added method operator "use"; | changeset | files |
| Tue, 07 Jun 2016 19:57:41 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 07 Jun 2016 19:55:45 +0200 | wenzelm | clean facts more uniformly; | changeset | files |