Theory read_global_array
theory
read_global_array
imports
"
AutoCorres2_Main.AutoCorres_Main
"
begin