equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
2 |
3 <!-- $Id$ --> |
3 <!-- $Id$ --> |
4 <HTML><HEAD><TITLE>HOL/UNITY/README</TITLE></HEAD><BODY> |
4 |
|
5 <HTML> |
|
6 |
|
7 <HEAD> |
|
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|
9 <TITLE>HOL/UNITY/README</TITLE> |
|
10 </HEAD> |
|
11 |
|
12 <BODY> |
5 |
13 |
6 <H2>UNITY: Examples Involving Program Composition</H2> |
14 <H2>UNITY: Examples Involving Program Composition</H2> |
7 |
15 |
8 <P> |
16 <P> |
9 The directory presents verification examples involving program composition. |
17 The directory presents verification examples involving program composition. |
36 <P>Last modified on $Date$ |
44 <P>Last modified on $Date$ |
37 |
45 |
38 <ADDRESS> |
46 <ADDRESS> |
39 <A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A> |
47 <A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A> |
40 </ADDRESS> |
48 </ADDRESS> |
41 </BODY></HTML> |
49 </BODY> |
|
50 </HTML> |