mathlib

b19971c9 - remove old/deprecated files