# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 86b2fa295b17ab1945d2c2cbfc2f916eb1096067
input_heaps:
6aadefe1122163e4dcc89994df87a16956357ee3
34b129f0039b76e6afee09ca991dade98e8798b8
f74426d42f41fbd2828a7d26cd4e1eda568e57a9
6ba135f71810c0f7de0ae53ebe6539c5e0f39fca


