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