# HG changeset patch
# User wenzelm
# Date 1011211268 -3600
# Node ID 6b41c750451cee330a3b6401c4e05f5e0360f726
# Parent  c5739c1431aba50952bad2f4e7602cf3623b3d65
tuned title;

diff -r c5739c1431ab -r 6b41c750451c src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Wed Jan 16 20:58:27 2002 +0100
+++ b/src/Pure/proof_general.ML	Wed Jan 16 21:01:08 2002 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Interface/proof_general.ML
+(*  Title:      Pure/proof_general.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
     License:    GPL (GNU GENERAL PUBLIC LICENSE)