changeset 37936 | 1e4c5015a72e |
parent 35416 | d8d7d1b785af |
child 44871 | fbfdc5ac86be |
--- a/src/HOL/UNITY/Simple/Common.thy Thu Jul 22 17:26:31 2010 +0200 +++ b/src/HOL/UNITY/Simple/Common.thy Thu Jul 22 18:08:39 2010 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/UNITY/Common +(* Title: HOL/UNITY/Simple/Common.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1998 University of Cambridge