# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ce7bdb140e17383a953be05ae53dd99b945823cd
input_heaps:
a3bae4e613aef271245928f0d52c8526a9c66f82
8e2207a978992101b4929ff8d1549e71615ce106
8abfbd58f188d83abceb24087db9d86e15ce34e6


