# isabelle_session_info

session_name: HOL-Nominal
sources: 6da8f0935437bb9de26984a11c75a532052fc0c7
output_heap: e0b4216e84aa7a69842949ba8bd6f08789a2b551
input_heaps:
a3ca72e93022ff3a13f721dde80608155e0e134c
03ac95b81282031db310f795682802eff540a88f
ec5f667793f1a373a81b1fe8344e2c3b64c5cda2


