String to Date function?

[Arsenal]

Hi,

I want to convert a string of format like "Mon Nov 25 21:32:11 2002"
to a date in Python. According the lib. ref, i tried strptime(string[,
format]) . But python complained that the time module doesnt have this
function. Any advice appreciated!
Thank!