Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected spelling of title (to test new CVS loginfo)
authorclasohm
Thu, 19 Oct 1995 13:25:03 +0100
changeset 1287 84f44b84d584
parent 1286 ae25649cbbb1
child 1288 6eb89a693e05
corrected spelling of title (to test new CVS loginfo)
src/HOL/Trancl.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle