Allowing Isabelle constants in placeholders.
Transferred the IsaMixR theory from the Speedith repository to MixR.
Everything related to IsaMixR is now in the diabelli repository.