# isabelle_session_info

session_name: Binding_Syntax_Theory
sources: 3f294c1d514b38959437d4842c1ec9b9e719e9cd
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
97504f12ebee9ce5edbc1319f0eab6c6aaa78591


