Datei hinzugefuegt
Beweise zu pathDrop, pathTake
Hi, hier wurde der Beweis von pathSplit eingefuegt
Jetzt aber wirklich.
Beweis eulerianObtainNode
pathConnect angefangen
Dingens weiter
pathFromEulerPath fast fertig
pathFromEulerpath finally fertig
Initial commit of Sylow Theorem and Jordan Holder Theorem related stuff.
Merge branch 'master' of https://github.com/javra/isabelle_algebra