# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 52f085499c200f934e72874d98dd67413d388581
uuid: 21162b60-0d1c-4816-8fac-a84d19f051ad
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
296c361bd1a906ecf4a72606f52c6ab215226109


