-
Kristof Korwisi authored
Modified example to work with the master again and corrected some minor errors of https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/tree/55-update-example-decks-2. Closes #55.
e9c2e618
Modified example to work with the master again and corrected some minor errors of https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/tree/55-update-example-decks-2. Closes #55.