# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b2a83c8eb0ebdbbdd19deef04cfefaf8727225bd
uuid: 4c928bc6-1370-4be4-aca5-8819c74ffe53
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
c9d8630f867d781c6f1b4ed5d1441fa003f3e74e


