13   As "name" "trm"

    13   As "name" "trm"

    14 binder

    14 binder

    15   bn::"assg \<Rightarrow> atom set"

    15   bn::"assg \<Rightarrow> atom set"

    16 where

    16 where

    17   "bn (As x t) = {atom x}"

    17   "bn (As x t) = {atom x}"

    18 

    19 

    19 thm trm_assg.fv

    20 thm trm_assg.fv

    20 thm trm_assg.supp

    21 thm trm_assg.supp

    21 thm trm_assg.eq_iff

    22 thm trm_assg.eq_iff

    22 thm trm_assg.bn

    23 thm trm_assg.bn