merge from https://gitlab.informatik.uni-halle.de/ajnwd/bewerter-struktureller-induktion

.gitignore

ANTRL-Grammatiken/ADT/ADT.g4

ANTRL-Grammatiken/ADT/ADT_Bsp.txt

ANTRL-Grammatiken/ADT/ADT_Bsp_NatTree.svg

ANTRL-Grammatiken/ADT/ADT_Bsp_NatTree.txt

ANTRL-Grammatiken/ADT/ADT_Bsp_Peano.svg

ANTRL-Grammatiken/ADT/ADT_Bsp_Peano.txt

ANTRL-Grammatiken/ADT/ADT_Bsp_parse_tree.svg

ANTRL-Grammatiken/ADT/ADT_Bsp_small.txt

ANTRL-Grammatiken/ADT/ADT_Bsp_small_parse_tree.svg

ANTRL-Grammatiken/Aufgabenstellung/Task.g4

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp.txt

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_Lemma.svg

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_Lemma.txt

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_NatTree.svg

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_NatTree.txt

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_plus_komm.svg

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_plus_komm.txt

ANTRL-Grammatiken/Aufgabenstellung/Task_Bsp_small.txt

ANTRL-Grammatiken/Beweis/Induction_Bsp_plus_komm.svg