Tests für Abgabe 7
Drei Tests für Abgabe 7 hinzugefügt. Der zweite Test ist das Beispiel aus dem Skript.
Mit den Funktionen equal und equal_to können zwei Formeln verglichen werden, wenn sie unterschiedliche Namen für gebundene Variablen haben.
Drei Tests für Abgabe 7 hinzugefügt. Der zweite Test ist das Beispiel aus dem Skript.
Mit den Funktionen equal und equal_to können zwei Formeln verglichen werden, wenn sie unterschiedliche Namen für gebundene Variablen haben.