# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d8af975081337991cbfc303fb3b91b8c27763340
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
b9c5af12da19bf0584ec3f1b8eb63101f776560d


