I always used to used Webmonkey
webmonkey.com when I started using HTML ... also, if they are learning the basics, give them a good HTML editor ... makes it much easier when all the tags are color coded and stuff ... I would reccommend Macromedia Homesite 5.
Macromedia Homesite 5