--- a/src/ZF/ex/Ring.thy Wed Dec 03 09:53:58 2008 +0100 +++ b/src/ZF/ex/Ring.thy Wed Dec 03 15:58:44 2008 +0100 @@ -1,5 +1,4 @@ (* Title: ZF/ex/Ring.thy - Id: $Id$ *)