The manual is contained in hol_casl.ps
