| Sun, 29 Jul 2007 14:29:48 +0200 | wenzelm | simplified "eval" setup via NamedThmsFun; | changeset | files |
| Sat, 28 Jul 2007 22:19:31 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jul 2007 22:17:46 +0200 | wenzelm | * Isar: command 'declaration'; | changeset | files |
| 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 |
| Sat, 28 Jul 2007 22:00:59 +0200 | wenzelm | declaration: proper naming within the theory; | changeset | files |