# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1f5c1229e2181dd5953d64b7672a488ebfcb880b
input_heaps:
1f65d912f4f4034c3d90f597604aaec582095f4a
1eeb4b0d9c6d446062edef5701a7b107d157602c
a8a4ae616dd586ab46b93d4a5bb418dc8985882c
2213fe0411466a18e7a7c33275dd1e43ccc89578


