| Mon, 09 Oct 2006 02:20:01 +0200 | wenzelm | removed theorems, smart_theorems etc. (cf. Specification.theorems); | changeset | files |
| Mon, 09 Oct 2006 02:20:01 +0200 | wenzelm | lemmas/theorems/declare: Specification.theorems; | changeset | files |
| Mon, 09 Oct 2006 02:19:58 +0200 | wenzelm | added kind attributes; | changeset | files |