# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4582e7144b1386372d9e85a1dc04a75bb5f8d008
input_heaps:
a2fe398aa5bbe1e9167c32c9440835ae76233687
bb893dcfe41cefc4a17b5a562e7b39f67c6612ab
1d0d4e9877870116babe2acf2dbc6e6f6b5acc9e


