/data/cameron
/
miniconda
/
pkgs
/
pygments-2.19.2-py313h06a4308_0
/
info
/
test
/
tests
/
examplefiles
/
isabelle
/miniconda/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/examplefiles/isabelle
📄
example_ascii.thy
32.3 KB
2020-02-01 16:00
📄
example_ascii.thy.output
219.6 KB
2020-02-01 16:00
📄
example_unicode.thy
29.1 KB
2020-02-01 16:00
📄
example_unicode.thy.output
195.4 KB
2020-02-01 16:00