Tue, 11 Oct 2005 17:30:00 +0200 | nipkow | added hd lemma | changeset | files |
Tue, 11 Oct 2005 15:04:11 +0200 | paulson | simplifying the treatment of clausification | changeset | files |
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 |
Tue, 11 Oct 2005 13:30:17 +0200 | wenzelm | tuned; | changeset | files |