# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a8e79c3c1637ce733ccc1448b26384db59070c22
uuid: f8ea83ac-4a8f-4245-acd4-7ef82124bcf4
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
af65e2720f51247267fe98143fef132dd6f32807


