Sun, 07 Jan 2001 21:41:56 +0100 | wenzelm | CHANGED_PROP; | changeset | files |
Sun, 07 Jan 2001 21:40:49 +0100 | wenzelm | removed MicroJava/BV/Convert.thy; | changeset | files |
Sun, 07 Jan 2001 21:37:40 +0100 | wenzelm | do not AutoBind.drop_judgment; | changeset | files |