# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f63f85190a376ce86e4eb7e0178292352f9ce1ed
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
68008b606b6ba3d8d6316fd2c35ddbbda7848105


