equal
deleted
inserted
replaced
1 <!-- $Id$ --> |
1 <!-- $Id$ --> |
2 <HTML><HEAD><TITLE>HOL/Resid</TITLE></HEAD><BODY> |
2 <HTML><HEAD><TITLE>ZF/Resid</TITLE></HEAD><BODY> |
3 |
3 |
4 <H2>Resid -- A theory of residuals</H2> |
4 <H2>Resid -- A theory of residuals</H2> |
5 |
5 |
6 Ole Rasmussen has ported to Isabelle/ZF the Coq proofs described in the |
6 Ole Rasmussen has ported to Isabelle/ZF the Coq proofs described in the |
7 article |
7 article |
24 Experiment</A>. |
24 Experiment</A>. |
25 |
25 |
26 <HR> |
26 <HR> |
27 |
27 |
28 <P>Last modified 5 March 1996 |
28 <P>Last modified 5 March 1996 |
|
29 |
|
30 <ADDRESS> |
|
31 <P><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C. Paulson</A> / |
|
32 <A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A> |
|
33 </ADDRESS> |