(coq.theory
 (name thy2)
 (package cplugin)
 (synopsis "Test Plugin")
 (theories thy1))

