Theory word_abs_exn
theory
word_abs_exn
imports
"
AutoCorres2_Main.AutoCorres_Main
"
begin