added Ctermtab, cterm_cache, thm_cache; tuned;
added Ctermtab, cterm_cache, thm_cache;
tuned;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle