Mon, 30 Mar 1998 21:15:18 +0200 | oheimb | merge_cs now also merges safe and unsafe wrappers | changeset | files |
Mon, 30 Mar 1998 21:14:04 +0200 | oheimb | generalized appearance of trancl_into_rtrancl and r_into_trancl | changeset | files |
Mon, 30 Mar 1998 21:09:46 +0200 | oheimb | adapted proof of finite_converse | changeset | files |