String to Date function?

[Batista, Facundo]

#- 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!

What version of library reference are you reading and what version of Python
are you using?

.	Facundo