imported disprover code
missing metadata
implemented cbc disprover
added result case for actual proof
remove disprover drop down menu, move button to toolbar
remove obsolete files (old disprover tactics)
remove debugging output
fixed prove tree manipulation
Load Context/Machine before disproving (required for sets)
Merge branch 'develop' into feature/disprover
Merge branch 'develop' into feature/disprover
fix NullPointerException after applying disprover proof tactic
add type argument to empty list
use eclipse compatible version numbers
add disprover feature
Merge branch 'develop' into feature/disprover