| Sun, 07 Jan 2001 22:39:28 +0100 | wenzelm | updated; | changeset | files |
| Sun, 07 Jan 2001 21:45:14 +0100 | wenzelm | removed ID (avoid CVS conflicts with generated versions); | changeset | files |
| 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 |
| Sun, 07 Jan 2001 21:36:59 +0100 | wenzelm | tuned output; | changeset | files |
| Sun, 07 Jan 2001 21:36:11 +0100 | wenzelm | tuned norm_hhf(_tac); | changeset | files |