diff --git a/doc/PropositionStructure.odt b/doc/PropositionStructure.odt
deleted file mode 100644
index 7dd6ccfe2e4fd1b93a2d8f6bc25cf11f272e4836..0000000000000000000000000000000000000000
Binary files a/doc/PropositionStructure.odt and /dev/null differ