--- a/src/HOL/ex/Quickcheck_Examples.thy Wed Jul 21 18:11:51 2010 +0200
+++ b/src/HOL/ex/Quickcheck_Examples.thy Wed Jul 21 18:11:51 2010 +0200
@@ -1,5 +1,4 @@
(* Title: HOL/ex/Quickcheck_Examples.thy
- ID: $Id$
Author: Stefan Berghofer
Copyright 2004 TU Muenchen
*)