CbfbF/F CD4-cre and Foxp3GFP mice have previously been described (Bettelli et al., 2006; Naoe et al., 2007).