src/HOL/Isar_examples/README.html
author wenzelm
Sat Sep 04 21:13:01 1999 +0200 (1999-09-04)
changeset 7480 0a0e0dbe1269
parent 7006 46048223e0f9
child 7740 2fbe5ce9845f
permissions -rw-r--r--
replaced ?? by ?;
     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 the <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a>
    14 for more information.
    15 
    16 <p>
    17 
    18 Note that the theory files are basically just plain ASCII sources of
    19 what are meant to be actual typeset documents.  Automatic LaTeX / PDF
    20 pretty printing will be available in the near future.
    21 
    22 <body>
    23 </html>