Conditional Isabelle/ML execution depending on Isabelle version (DISCONTINUED)
Primary LanguageStandard MLMIT LicenseMIT