From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Mon, 13 Dec 1999 12:08:01 -0500
From: Gerard J. Holzmann gerard@research.bell-labs.com
Subject: [9fans] spin2000, correction
Topicbox-Message-UUID: 9c431a44-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19991213170801.bhaazMR4_WOsElBF3-Ut0yw_WndLYeBh_0zHo6_xqNw@z>

sorry, 2nd url was incomplete, see:

        http:/netlib.bell-labs.com/netlib/spin/whatispin.html
	http://ase.arc.nasa.gov/spin2000

-gerard


------ forwarded message follows ------