Index of /miniconda3/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/examplefiles/coq/

../
coq_RelationClasses.v                              02-Feb-2020 00:00               15377
coq_RelationClasses.v.output                       02-Feb-2020 00:00               91205
coq_test.v                                         02-Feb-2020 00:00                 557
coq_test.v.output                                  02-Feb-2020 00:00                4771