Fri, 22 Oct 1999 20:23:40 +0200 | wenzelm | achieve proper italic correction; | changeset | files |
Fri, 22 Oct 1999 20:14:31 +0200 | wenzelm | HahnBanach update by Gertrud Bauer; | changeset | files |
Fri, 22 Oct 1999 18:41:00 +0200 | paulson | replaced image_image_eq_UN by image_eq_UN | changeset | files |