# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 849386a9f7580c5f977eb0eeacb737a212dd6803
input_heaps:
47e3a0c9c4e00d2e90772688cd89601e0e76e6c5
4089360610a005ee2f39c6e19f04260ef80d19a0
6c3096a4ab179d4ba727daef70a715a1939bc65a


