| Wed, 26 Sep 2007 19:18:00 +0200 | wenzelm | Attrib.eval_thms; | changeset | files |
| Wed, 26 Sep 2007 19:17:59 +0200 | wenzelm | read/check_specification: proper type inference across multiple sections, result is in closed form; | changeset | files |
| Wed, 26 Sep 2007 19:17:58 +0200 | wenzelm | added eval_thms; | changeset | files |