| Sat, 26 Jan 2008 17:08:41 +0100 | wenzelm | added theorem group property; | changeset | files |
| Sat, 26 Jan 2008 17:08:40 +0100 | wenzelm | added theorem group operations; | changeset | files |
| Sat, 26 Jan 2008 17:08:39 +0100 | wenzelm | added surround; | changeset | files |
| Sat, 26 Jan 2008 17:08:38 +0100 | wenzelm | tuned attribute syntax -- no need for eta-expansion; | changeset | files |