# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 68ce9a796bc26f073124306fdd66813f296d1ea8
input_heaps:
4062aa515595763ef834346739d8a019bcbe0e32
36830ebd27e0fcc54eae0ad103c1e5cf7358bd5d
7943041918589b7cc2510f9f44b15f5f3a64298b
1ccc3f5de8c88b0ee5a02abde8bced5881006b35


