src/HOL/Isar_Examples/README.html
author Christian Sternagel
Thu, 30 Aug 2012 15:44:03 +0900
changeset 49093 fdc301f592c4
parent 36862 952b2b102a0a
permissions -rw-r--r--
forgot to add lemmas

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">

<html>

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
  <title>HOL/Isar_Examples</title>
</head>

<body>
<h1>HOL/Isar_Examples</h1>

Isar offers a new high-level proof (and theory) language interface to
Isabelle.  This directory contains some example Isar documents.  See
also the included document, or the <a
href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a> for more
information.
</body>
</html>