# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 86c70dd0b842a76da63f01fb760350a170c355c2
input_heaps:
7c5c7e34db96667b848e7c2a8b8524484040cab1
5066c9559403f5436cdd85e1104f600b2f18cd78
0b7ca9b573c83d30af693ae8f9e93dedbc81c1dd


