Source file german.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
let words = ["aber"; "alle"; "allem"; "allen"; "aller"; "alles"; "als";
             "also"; "am"; "an"; "ander"; "andere"; "anderem"; "anderen";
             "anderer"; "anderes"; "anderm"; "andern"; "anderr"; "anders";
             "auch"; "auf"; "aus"; "bei"; "bin"; "bis"; "bist"; "da";
             "damit"; "dann"; "das"; "dasselbe"; "dazu"; "da\195\159";
             "dein"; "deine"; "deinem"; "deinen"; "deiner"; "deines"; 
             "dem"; "demselben"; "den"; "denn"; "denselben"; "der"; "derer";
             "derselbe"; "derselben"; "des"; "desselben"; "dessen"; "dich";
             "die"; "dies"; "diese"; "dieselbe"; "dieselben"; "diesem";
             "diesen"; "dieser"; "dieses"; "dir"; "doch"; "dort"; "du";
             "durch"; "ein"; "eine"; "einem"; "einen"; "einer"; "eines";
             "einig"; "einige"; "einigem"; "einigen"; "einiger"; "einiges";
             "einmal"; "er"; "es"; "etwas"; "euch"; "euer"; "eure"; "eurem";
             "euren"; "eurer"; "eures"; "f\195\188r"; "gegen"; "gewesen";
             "hab"; "habe"; "haben"; "hat"; "hatte"; "hatten"; "hier"; 
             "hin"; "hinter"; "ich"; "ihm"; "ihn"; "ihnen"; "ihr"; "ihre";
             "ihrem"; "ihren"; "ihrer"; "ihres"; "im"; "in"; "indem"; 
             "ins"; "ist"; "jede"; "jedem"; "jeden"; "jeder"; "jedes";
             "jene"; "jenem"; "jenen"; "jener"; "jenes"; "jetzt"; "kann";
             "kein"; "keine"; "keinem"; "keinen"; "keiner"; "keines";
             "k\195\182nnen"; "k\195\182nnte"; "machen"; "man"; "manche";
             "manchem"; "manchen"; "mancher"; "manches"; "mein"; "meine";
             "meinem"; "meinen"; "meiner"; "meines"; "mich"; "mir"; "mit";
             "muss"; "musste"; "nach"; "nicht"; "nichts"; "noch"; "nun";
             "nur"; "ob"; "oder"; "ohne"; "sehr"; "sein"; "seine"; "seinem";
             "seinen"; "seiner"; "seines"; "selbst"; "sich"; "sie"; "sind";
             "so"; "solche"; "solchem"; "solchen"; "solcher"; "solches";
             "soll"; "sollte"; "sondern"; "sonst"; "um"; "und"; "uns";
             "unse"; "unsem"; "unsen"; "unser"; "unses"; "unter"; "viel";
             "vom"; "von"; "vor"; "war"; "waren"; "warst"; "was"; "weg";
             "weil"; "weiter"; "welche"; "welchem"; "welchen"; "welcher";
             "welches"; "wenn"; "werde"; "werden"; "wie"; "wieder"; "will";
             "wir"; "wird"; "wirst"; "wo"; "wollen"; "wollte";
             "w\195\164hrend"; "w\195\188rde"; "w\195\188rden"; "zu"; 
             "zum"; "zur"; "zwar"; "zwischen"; "\195\188ber"] ;;