products
/
sources
/
formale Sprachen
/
Isabelle
/
HOL
/
Library
/
Bilddatei
coqide-queries.png
products/sources/formale Sprachen/Coq/doc/sphinx/_static/coqide-queries.png