save F

All the definitions in the current environment are saved in file F.
