| Tue, 11 Oct 2005 15:03:36 +0200 | paulson | simplifying the treatment of nameless theorems | changeset | files |
| Tue, 11 Oct 2005 14:02:33 +0200 | wenzelm | expand: error on undefined/empty env variable; | changeset | files |
| Tue, 11 Oct 2005 14:02:32 +0200 | wenzelm | added assert; | changeset | files |