lib(toplevel)


	Note that this library is normally loaded automatically
	by the ECLiPSe development environment.
    

