Skip to content
Snippets Groups Projects

add get_head tactic and use it in solve_proper_unfold

Merged add get_head tactic and use it in solve_proper_unfold
ralf/get_head into master
All threads resolved!
Merged Ralf Jung requested to merge ralf/get_head into master
All threads resolved!