# isabelle_session_info

session_name: HOL-Nominal
sources: 32ea4d7c96e7ac2878bad1f4f6d8325cf241fcc4
output_heap: fcec79210b6fba404e442e69658d89b46dacdc8a
input_heaps:
cc046ae580776820f4a04105f911f868e699728a
55e7e56f5ba0698df4bb0247f9715a7a435fa5d9
7ce7dbeecf43c193549427c585a09656e9284f0a


