more use of sw99 for bookmarking stuff... Toward a common syntax for writing proofs Sat, 16 Mar 1996 23:44:58 -0500 (EST) http://www-unix.mcs.anl.gov/qed/mail-archive/volume-3/0125.html practical Proof Checking Tue, 19 Mar 1996 15:49:51 +0100 http://www-unix.mcs.anl.gov/qed/mail-archive/volume-3/0132.html <- http://www-unix.mcs.anl.gov/qed/index.html <- http://www.cs.utexas.edu/users/boyer/ <- http://www.w3.org/People/Connolly/8608austin/ also: A Survey of QED and Related Topics Daniel W. Connolly updated $Date: 1998/05/21 20:30:59 $, created 10 Oct 1994 http://www.w3.org/Math/QED -- Dan Connolly tel:+1-512-310-2971 http://www.w3.org/People/Connolly/Received on Thursday, 13 January 2000 17:49:29 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 19 August 2005 11:10:28 GMT