Re: [isabelle] Lawrence Paulson's 60th Birthday today



To the person who is porting an absurd amount of much-needed Complex
Analysis from cryptic HOL Light proofs, to which I am looking forward
very much: happy birthday!




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.