# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c2af0b2b533d3fa9f30ed3527345fe69e3abef91
uuid: 30b1ee5f-fb6e-4789-87cf-4c79151137ac
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
ce3040d82a47f48f14ecd32987fd669d8881b76a


