# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e820ccf5572de32b9e7a8df0b7c0ee42bb048a09
uuid: 84b2d127-0672-45f1-8729-3cc317ec57c6
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
9cc78dd828589d0519139a1001ebe4f991f8b143


