100644 blob a5e4a1e6205164f413fdd7bf254092e52ff12880	macros.tex
100644 blob c272a8103f1dc453c3567f978e416f5791479429	proof.sty
100644 blob b103d95683914bdc59de4bc6d5369143d882fd72	static-semantics.tex
100644 blob 1b58a47a47b8bcfd55ec0cb22548f4fe7faada84	strong-dart.pdf
100644 blob 216b476238945a8af00dcfffd647077cdd5bb1e4	strong-dart.tex