# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 86c70dd0b842a76da63f01fb760350a170c355c2
input_heaps:
34c3d73a560673e85d6a79ed679f4ac127002b9c
cb7dfd709478d010b69c5220c7d782899ba3b103
7b0bc43d79abf6c507b94b4dfcd9d230cd880ce1


