Theory while_loop_no_vars
theory
while_loop_no_vars
imports
"
AutoCorres2_Main.AutoCorres_Main
"
begin