removed unused Theory_Target.begin;
Theory_Target.init: removed Locale.intern, which was accidentally introduced in 40b3630b0deb;
renamed Theory_Target.context to Theory_Target.context_cmd to emphasize that this involves Locale.intern;
tuned;
Unsynchronized.set ThyOutput.source;
use "../../antiquote_setup.ML";
use_thy "ZF_Specific";