Fri, 25 Nov 2005 18:58:42 +0100 | wenzelm | revert_skolem: fall back on Syntax.deskolem; | changeset | files |
Fri, 25 Nov 2005 18:58:41 +0100 | wenzelm | forall_conv ~1; | changeset | files |
Fri, 25 Nov 2005 18:58:40 +0100 | wenzelm | added dummy_pattern; | changeset | files |