# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ab335c176a3ab21950bd729f999c90176161f37e
input_heaps:
72c151fc6d7155c0917f3fea895a6bda7ed6705b
0f8162896999212dc09d4754b77ac490ae4b56e9
4933d4ef7de0f1a2334f3f17436d909d73f18b26


