Resolve "Add Searchfilter for Axiomtype" (!29) · Merge requests · interactive-KB-debugging / debugger · GitLab

Wolfgang Schmid requested to merge 119-add-searchfilter-for-axiomtype into master Apr 23, 2018

Closes #119 (closed)

Edited Apr 27, 2018 by Wolfgang Schmid