Isabelle
    filter remove_between_general (* *)
    extension thy
    3rd_gen_scale 3.00
