# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 967d693e751b946ec5699df1547bfecc365055ea
input_heaps:
3771104ba54383187b82498d379f94f1ac6b03b1
67c8e514558538ef71305db58915e5c5c063f028
5faf8a6211509635d3ef8b692b22efe63d348c2f
2f5894c09bcd02e07d46a52d9b88dc3e5d27b6f6


