# isabelle_session_info

session_name: Binding_Syntax_Theory
sources: b1966e817e20846c0e7fd0eaa0ff7ef45deee1c5
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
7c8e4f8ca99faf3a3eac23d41d3ac692538f4115


