20090224 
huffman 
20090224 
make more proofs work whether or not One_nat_def is a simp rule

file  diff  annotate 
20090205 
hoelzl 
20090205 
Added derivation lemmas for power series and theorems for the pi, arcus tangens and logarithm series

file  diff  annotate 
20090128 
nipkow 
20090128 
Replaced group_ and ring_simps by algebra_simps;
removed compare_rls  use algebra_simps now

file  diff  annotate 
20081229 
haftmann 
20081229 
adapted HOL source structure to distribution layout

file  diff  annotate  base 