src/HOL/Library/Formal_Power_Series.thy
2009-01-29 berghofe 2009-01-29 Enclosed name containing _'s in @{text ...} antiquotation to make document preparation work again.
2009-01-29 chaieb 2009-01-29 removed definition of funpow , reusing that of Relation_Power
2009-01-29 chaieb 2009-01-29 A formalization of formal power series