changeset 8070 | dbbef2367723 |
parent 8056 | 3c587e7b8fe5 |
child 8630 | c3af577e7c7b |
8069:19b9f92ca503 | 8070:dbbef2367723 |
---|---|
20 |
20 |
21 <p> |
21 <p> |
22 |
22 |
23 Please see the Isabelle <a href="{ISABELLE}/README.html">README</a> file for more information. |
23 Please see the Isabelle <a href="{ISABELLE}/README.html">README</a> file for more information. |
24 |
24 |
25 <p> |
|
26 |
|
27 Use the mailing list <a href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
|
28 to discuss problems and results. (Why not <A HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>?) |