Thu, 30 Sep 1999 20:49:06 +0200 | wenzelm | Real/HahnBanach; | changeset | files |
Thu, 30 Sep 1999 16:16:56 +0200 | wenzelm | depend on Main; | changeset | files |
Thu, 30 Sep 1999 10:06:56 +0200 | paulson | now with (weak safety) guarantees (weak progress) with Extend | changeset | files |