* antiquotations ML_type, ML_struct; * Isar 'guess' element;
* antiquotations ML_type, ML_struct;
* Isar 'guess' element;

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