The whole OZ700 port is heavily based on the OZ Development kit, by Alex Pruss. The OZDK is in a much advanced state, while the Z88DK port at the moment can run succesfully small programs only. There are two sets of libraries: the Z88DK core ones and the OZDK compatibility ones. This means that you will be able to adapt programs written for both the kits with very little efforts.