# HG changeset patch # User wenzelm # Date 939391506 -7200 # Node ID 80706fa8462297d4af7a6c15934e98579bdd025e # Parent e51bd412debc974539eb75bb7ab0a3f382f2c2c3 improved; diff -r e51bd412debc -r 80706fa84622 src/HOL/Isar_examples/README.html --- a/src/HOL/Isar_examples/README.html Fri Oct 08 16:04:42 1999 +0200 +++ b/src/HOL/Isar_examples/README.html Fri Oct 08 16:05:06 1999 +0200 @@ -10,8 +10,9 @@ Isar offers a new high-level proof (and theory) language interface to Isabelle. This directory contains some example Isar documents. See -the Isabelle/Isar page -for more information. +also the included document, or the Isabelle/Isar page for more +information. - +