add missing source (issue #86)
Merge branch 'usable-rules' of https://github.com/jwaldmann/co4 into usable-rules
dump proof (non-cpf)
export nat width
remove unnecessary show instance
add cpf conversion
minor refinement in cpf conversion
fix cpf conversion
bla
count index from 1
use unlabProc