support current_goals_markers ref variable for print_current_goals;
tutorial Tutorial on Isabelle/HOLintro Introduction to Isabelleref The Isabelle Reference Manualsystem The Isabelle System Manuallogics Isabelle's Object-Logicsind-defs (Co)Inductive Definitions in ZFaxclass Tutorial on Axiomatic Type Classes