It's all in the standard mIRC help file.
/help /tokenize
/help $strip
/help $gettok
If this information isn't in your help file, make sure that you have the latest version (6.34), although, if I recall correctly, this information hasn't changed since 6.17 (or possibly earlier).
