# HG changeset patch
# User clasohm
# Date 814105503 -3600
# Node ID 84f44b84d584a77b73837cb6a91b09e5507afb8f
# Parent  ae25649cbbb10a4b12df6222a202f40e8309034e
corrected spelling of title (to test new CVS loginfo)

diff -r ae25649cbbb1 -r 84f44b84d584 src/HOL/Trancl.thy
--- a/src/HOL/Trancl.thy	Tue Oct 17 17:59:47 1995 +0100
+++ b/src/HOL/Trancl.thy	Thu Oct 19 13:25:03 1995 +0100
@@ -1,4 +1,4 @@
-(*  Title: 	HOL/trancl.thy
+(*  Title: 	HOL/Trancl.thy
     ID:         $Id$
     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge