/finite_mapScript.sml/1.8/Fri Jun 15 15:42:41 2001//
D
