changeset 31974 | e81979a703a4 |
parent 27148 | 5b78e50adc49 |
child 32960 | 69916a850301 |
--- a/src/FOL/ex/Classical.thy Thu Jul 09 22:04:10 2009 +0200 +++ b/src/FOL/ex/Classical.thy Thu Jul 09 22:09:58 2009 +0200 @@ -1,5 +1,4 @@ -(* Title: FOL/ex/Classical - ID: $Id$ +(* Title: FOL/ex/Classical.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1994 University of Cambridge *)