discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working;
(*:maxLineLen=78:*)
theory Base
imports Main
begin
ML_file \<open>../antiquote_setup.ML\<close>
end