Wed, 17 Jul 1996 16:03:42 +0200 | oheimb | renamed adm_impl to adm_imp | changeset | files |
Wed, 17 Jul 1996 15:25:50 +0200 | paulson | Edited in response to referees comments; new references | changeset | files |
Wed, 17 Jul 1996 15:04:48 +0200 | oheimb | correction of recent typo | changeset | files |