# HG changeset patch
# User wenzelm
# Date 1139534566 -3600
# Node ID 1f73a35743f46aeb0c64db4c2cde70256cbbbf7e
# Parent  e0eb9cb97db08e1422f5b4625d7dc4eb94346f9a
tuned comment;

diff -r e0eb9cb97db0 -r 1f73a35743f4 src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Fri Feb 10 02:22:43 2006 +0100
+++ b/src/Pure/Isar/proof.ML	Fri Feb 10 02:22:46 2006 +0100
@@ -2,7 +2,8 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-The Isar/VM proof language interpreter.
+The Isar/VM proof language interpreter: maintains a structured flow of
+context elements, goals, refinements, and facts.
 *)
 
 signature PROOF =