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.
fixed typo
authorclasohm
Tue, 30 Jan 1996 15:31:04 +0100
changeset 1466 bf18d174e9f8
parent 1465 5d7a7e439cec
child 1467 3d19a5ddc21e
fixed typo
src/FOLP/ex/Prolog.thy file | annotate | diff | comparison | revisions 
--- a/src/FOLP/ex/Prolog.thy	Tue Jan 30 15:24:36 1996 +0100
+++ b/src/FOLP/ex/Prolog.thy	Tue Jan 30 15:31:04 1996 +0100
@@ -1,4 +1,4 @@
-(*  Title: 	FOL/ex/prolog.thy
+(*  Title: 	FOLP/ex/Prolog.thy
     ID:         $Id$
     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
isabelle