# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a2c2240c9157cc60b6ebdfdb3be3addae4c440c8
input_heaps:
7c773fa34a6bc8928e20fca183df288d33e2e574
be7fbf64373ecd23768e48f09055d3bcf2a7c79f
c727bee9efe6ff505b36ca42fd9f0df06577f467
5260db2e4b002f1107c0f88f841b0be257f70042


