/plugins/
../
btauto
cc
derive
extraction
firstorder
fourier
funind
ltac
micromega
nsatz
omega
quote
romega
rtauto
setoid_ring
ssrmatching
syntax
xml