Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
changeset 62058 1cfd5d604937
parent 61766 507b39df1a57
child 62141 00bfdf4bf237
equal deleted inserted replaced
62057:af58628952f0 62058:1cfd5d604937 
     1 (* Title: Bourbaki_Witt_Fixpoint.thy
 
     1 (*  Title:      HOL/Library/Bourbaki_Witt_Fixpoint.thy
 
     2    Author: Andreas Lochbihler, ETH Zurich *)
 
     2     Author:     Andreas Lochbihler, ETH Zurich
 
       
     3 *)
 
     3 
     4 
     4 section \<open>The Bourbaki-Witt tower construction for transfinite iteration\<close>
 
     5 section \<open>The Bourbaki-Witt tower construction for transfinite iteration\<close>
 
     5 
     6 
     6 theory Bourbaki_Witt_Fixpoint imports Main begin
 
     7 theory Bourbaki_Witt_Fixpoint imports Main begin
 
     7 
     8
isabelle