isabelle: src/HOL/Isar_examples/README.html@c2b235e60f8b (annotated)

7005 cc778d613217 tuned comments; wenzelm parents: diff changeset	1	<!-- $Id$ -->
cc778d613217 tuned comments; wenzelm parents: diff changeset	2	<html>
cc778d613217 tuned comments; wenzelm parents: diff changeset	3
cc778d613217 tuned comments; wenzelm parents: diff changeset	4	<head>
cc778d613217 tuned comments; wenzelm parents: diff changeset	5	<title>HOL/Isar_examples</title>
cc778d613217 tuned comments; wenzelm parents: diff changeset	6	</head>
cc778d613217 tuned comments; wenzelm parents: diff changeset	7
cc778d613217 tuned comments; wenzelm parents: diff changeset	8	<body>
cc778d613217 tuned comments; wenzelm parents: diff changeset	9	<h1>HOL/Isar_examples</h1>
cc778d613217 tuned comments; wenzelm parents: diff changeset	10
cc778d613217 tuned comments; wenzelm parents: diff changeset	11	Isar offers a new high-level proof (and theory) language interface to
cc778d613217 tuned comments; wenzelm parents: diff changeset	12	Isabelle. This directory contains some example Isar documents. See
7804 80706fa84622 improved; wenzelm parents: 7740 diff changeset	13	also the included document, or the <a
80706fa84622 improved; wenzelm parents: 7740 diff changeset	14	href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a> for more
80706fa84622 improved; wenzelm parents: 7740 diff changeset	15	information.
7005 cc778d613217 tuned comments; wenzelm parents: diff changeset	16
7804 80706fa84622 improved; wenzelm parents: 7740 diff changeset	17	</body>
7005 cc778d613217 tuned comments; wenzelm parents: diff changeset	18	</html>

author	nipkow
	Thu, 03 Oct 2002 09:54:54 +0200
changeset 13623	c2b235e60f8b
parent 7804	80706fa84622
child 15283	f21466450330
permissions	-rw-r--r--