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