Open inductive predicate definitions for Isabelle
Primary LanguageStandard ML
No issues in this repository yet.