| Sat, 26 Jan 2008 17:08:43 +0100 | wenzelm | grouped versions of axioms/define/notes; | changeset | files |
| Sat, 26 Jan 2008 17:08:42 +0100 | wenzelm | misc tuning and internal rearrangement; | changeset | files |
| 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 |
| Sat, 26 Jan 2008 17:08:36 +0100 | wenzelm | added theorem group; | changeset | files |