# isabelle_session_info

session_name: HOL-Nominal
sources: fada32a47386914935cd413a5da8dc563294432c
output_heap: 7a6b02c5b6111cf8af16f16989c9fdf0a7a702f9
input_heaps:
60153fda7f67c400babeac5ff8410bde1cb89937
979fcfd417ee7f5d3ccae23097201bc6a61b502d
02174d5517afee9459b8e12a7e4eb13ca591789b


