Return a date value in the format of
    "Month(abbreviated name) day, 4-digit-year at hour:minute [AP]M"

def abbr_month_date_time_str(adatetime):
    """
    Return a date value in the format of
    "Month(abbreviated name) day, 4-digit-year at hour:minute [AP]M"
    """
    return "%s %d, %d at %s" % (adatetime.strftime("%b"),
                                adatetime.day,
                                adatetime.year,
                                time_str(adatetime))