GALAXYFORMATION:IAUT93