# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 09798db9ee919851d3e5ad53cd3ded0ae8bc46a7
input_heaps:
5276688fea607e3a3776d373302d975e53d8d37c
bd77ad23a6adabd9127118020c894b7881abece9
350cfe7ceb16c030d2f7c5c34677723196630699


