# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 60189b9c93d903378a1bfbd9e2d7119344cf2e65
input_heaps:
68cb7b892ff6e63db78c7a6e5177c58783238420
a33fb9fa4258d63bd5352c4c62407407ee5cc8f3
e8d2b40ea2b0b312990a46cb1946e2086e68e8a8


