_CoqProject « quotation_token « misc « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/misc/quotation_token/_CoqProject

blob: 1b3e7c63995280a8e6306572f5d832b85767f316 (plain)

-Q theories Quotation
-I src

src/quotation.mlg
src/quotation_plugin.mlpack
theories/quotation.v