# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0c58cd28f5ff653bb50c0cc36db40a68b2c71849
input_heaps:
ebd4c166384c9b3764e108666d8a86269fed7180
8c5d996e1630770374c897d3c4187798a2df046c
ea96d2b0b56266c6386da8b446fdae5e89fe8beb


