src/ZF/OrderArith.thy
changeset 35762 af3ff2ba4c54
parent 24893 b8ef7afe3a6b
child 46820 c656222c4dc1
     1.1 --- a/src/ZF/OrderArith.thy	Sat Mar 13 16:37:15 2010 +0100
     1.2 +++ b/src/ZF/OrderArith.thy	Sat Mar 13 16:44:12 2010 +0100
     1.3 @@ -1,8 +1,6 @@
     1.4  (*  Title:      ZF/OrderArith.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7      Copyright   1994  University of Cambridge
     1.8 -
     1.9  *)
    1.10  
    1.11  header{*Combining Orderings: Foundations of Ordinal Arithmetic*}