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/Induct/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/Induct/README</TITLE> |
|
10 </HEAD> |
|
11 |
|
12 <BODY> |
5 |
13 |
6 <H2>Induct--Examples of (Co)Inductive Definitions</H2> |
14 <H2>Induct--Examples of (Co)Inductive Definitions</H2> |
7 |
15 |
8 <P>This directory is a collection of small examples to demonstrate |
16 <P>This directory is a collection of small examples to demonstrate |
9 Isabelle/HOL's (co)inductive definitions package. Large examples appear on |
17 Isabelle/HOL's (co)inductive definitions package. Large examples appear on |