| Sat, 28 Jul 2007 22:01:06 +0200 | wenzelm | type Morphism.declaration; | changeset | files |
| Sat, 28 Jul 2007 22:01:01 +0200 | wenzelm | attribute "option": proper naming within the theory | changeset | files |
| Sat, 28 Jul 2007 22:01:00 +0200 | wenzelm | removed dead code; | changeset | files |