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/ex/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/ex/README</TITLE> |
|
10 </HEAD> |
|
11 |
|
12 <BODY> |
5 |
13 |
6 <H2>ex--Miscellaneous Examples</H2> |
14 <H2>ex--Miscellaneous Examples</H2> |
7 |
15 |
8 <P>This directory presents a number of small examples, illustrating various |
16 <P>This directory presents a number of small examples, illustrating various |
9 features of Isabelle/HOL. |
17 features of Isabelle/HOL. |
39 <P>Last modified on $Date$ |
47 <P>Last modified on $Date$ |
40 |
48 |
41 <ADDRESS> |
49 <ADDRESS> |
42 <A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A> |
50 <A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A> |
43 </ADDRESS> |
51 </ADDRESS> |
44 </BODY></HTML> |
52 </BODY> |
|
53 </HTML> |