/open-inductive

Open inductive predicate definitions for Isabelle

Primary LanguageStandard ML

No issues in this repository yet.