# isabelle_session_info

session_name: HOL-Mutabelle
input_heaps: 1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
sources:
14c3540bb5127bd30a61f668d40891bd3ead84f9
2186edd08c6e220b4d9eeea567070a9850f91255
695102bf5465b942da3a549ef55eeb213c786883
affe343b422c96f2db65ac34297b39cc63e1054a
e4c50877c72ce92caa4ac0af5698aa3c9e42e18d
e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb


