Hi, I was looking through the archives for information on theorem provers in Oz and found this link: http://www.ps.uni-sb.de/~niehren/ozded.html But it doesn't seem to exist any more, does anyone know if I can still access information on this?
Regards Mark R -- Mark Richardson MBCS Research Assistant University of Teesside, UK Email: [email protected] [email protected] Skype: mark.richardson. _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
