# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2d9c9c2440c52977a86f46193c84cd9cdc8fb8f8
input_heaps:
e0e98f91eaf585f03a7abae8b79b7a2007cafdf6
d1246451ba418ca1d195718ae40514cd22ca9d6d
ef3004184019dba9ec559832850c397aa1dbfdc3
89d48f3d7960df2b7f25c7b839f4798efe2a1957


