Ctnnb1<tm2Kba> Inserted expressed sequence|Hypomorph http://identifiers.org/mgd/MGI:5308945 MGI:5308945 Beta-catenin<deltaC> targeted mutation 2, Konrad Basler