changeset 31974 | e81979a703a4 |
parent 26287 | df8e5362cff9 |
child 36319 | 8feb2c4bef1a |
--- a/src/FOL/ex/Prolog.thy Thu Jul 09 22:04:10 2009 +0200 +++ b/src/FOL/ex/Prolog.thy Thu Jul 09 22:09:58 2009 +0200 @@ -1,5 +1,4 @@ -(* Title: FOL/ex/prolog.thy - ID: $Id$ +(* Title: FOL/ex/Prolog.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge *)