#219 (May 25, 2016, 6:18:15 PM)

1. merged (detail / hgweb)
2. adapted to renamed suffix (detail / hgweb)
3. isabelle update_cartouches -c -t; (detail / hgweb)
4. updated 'define'; (detail / hgweb)
5. exploit validity of factorization oracle (detail / hgweb)
6. wrapper of rational polynomial factorization oracle ensures square-free factors and validity (detail / hgweb)
7. square-free is now defined for 'a :: idom poly (instead of 'a :: field poly) (detail / hgweb)
8. listprod_dvd (detail / hgweb)

Started by an SCM change