747 end;
748
749 end;
750
751 end;
752
753 structure Local_Theory : LOCAL_THEORY = struct open Local_Theory; end;