Theory loop_test2
theory
loop_test2
imports
"
AutoCorres2_Main.AutoCorres_Main
"
begin