jvanbruegge/binder_datatypes

A new foundational package for Isabelle/HOL that implements binding-aware datatypes