# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0f69e9e415131ac7d478e15a8850c9cbf5396e9b
uuid: 519ba752-e8c6-4a35-b7f3-e4819895720d
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
8c69910ec594ab8803db809ad53517283b7c73ca


