src/ZF/Epsilon.thy
changeset 35762 af3ff2ba4c54
parent 26056 6a0801279f4c
child 39159 0dec18004e75
     1.1 --- a/src/ZF/Epsilon.thy	Sat Mar 13 16:37:15 2010 +0100
     1.2 +++ b/src/ZF/Epsilon.thy	Sat Mar 13 16:44:12 2010 +0100
     1.3 @@ -1,8 +1,6 @@
     1.4 -(*  Title:      ZF/epsilon.thy
     1.5 -    ID:         $Id$
     1.6 +(*  Title:      ZF/Epsilon.thy
     1.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1993  University of Cambridge
     1.9 -
    1.10  *)
    1.11  
    1.12  header{*Epsilon Induction and Recursion*}