src/HOL/Isar_examples/README.html
author wenzelm
Sat Oct 30 20:20:48 1999 +0200 (1999-10-30)
changeset 7982 d534b897ce39
parent 7804 80706fa84622
child 15283 f21466450330
permissions -rw-r--r--
improved presentation;
wenzelm@7005
     1
<!-- $Id$ -->
wenzelm@7005
     2
<html>
wenzelm@7005
     3
wenzelm@7005
     4
<head>
wenzelm@7005
     5
<title>HOL/Isar_examples</title>
wenzelm@7005
     6
</head>
wenzelm@7005
     7
wenzelm@7005
     8
<body>
wenzelm@7005
     9
<h1>HOL/Isar_examples</h1>
wenzelm@7005
    10
wenzelm@7005
    11
Isar offers a new high-level proof (and theory) language interface to
wenzelm@7005
    12
Isabelle.  This directory contains some example Isar documents.  See
wenzelm@7804
    13
also the included document, or the <a
wenzelm@7804
    14
href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a> for more
wenzelm@7804
    15
information.
wenzelm@7005
    16
wenzelm@7804
    17
</body>
wenzelm@7005
    18
</html>