# HG changeset patch
# User wenzelm
# Date 1113759520 -7200
# Node ID fc64a89dc0ee897be753b79a8ea4512678f84249
# Parent  339a84888a2aee53d199114f62ecb786e3539dfe
tuned comments;

diff -r 339a84888a2a -r fc64a89dc0ee src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Sun Apr 17 19:38:30 2005 +0200
+++ b/src/Pure/Isar/proof.ML	Sun Apr 17 19:38:40 2005 +0200
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-Proof states and methods.
+The Isar/VM proof language interpreter.
 *)