show_inductive_code_tree function

Show the inductive code tree(s)

  • Maintainer: Gjalt-Jorn Peters
  • License: GPL-3
  • Last published: 2024-01-21