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

../
example_ascii.thy                                  02-Feb-2020 00:00               33067
example_ascii.thy.output                           02-Feb-2020 00:00              224905
example_unicode.thy                                02-Feb-2020 00:00               29801
example_unicode.thy.output                         02-Feb-2020 00:00              200094