# isabelle_session_info

session_name: HOL-Nominal
sources: 40b3a3aa3c020a09bebb0a80c1ec2d444031b9ab
output_heap: b85d9e182576fb4d4f9c12cde1fc68ecf6aba3ba
input_heaps:
97c3e98ac0e956beea13eb32f7e170d09dcf32c7
b5f46e06826795d19aa5ae257b1fcec268310c5a
e3cbb752b8838cacc6af29896e65786db4f1a362


