@ -18,9 +18,9 @@
## Go Source
!/aussagenlogik
!/aussagenlogik/rekursion
!/aussagenlogik/recursion
!/aussagenlogik/schema
!/aussagenlogik/syntaxbaum
!/aussagenlogik/formulae
!/core
!/core/environment
!/core/utils