# isabelle_session_info

session_name: HOL-Mutabelle
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
14c3540bb5127bd30a61f668d40891bd3ead84f9
2186edd08c6e220b4d9eeea567070a9850f91255
695102bf5465b942da3a549ef55eeb213c786883
affe343b422c96f2db65ac34297b39cc63e1054a
e4c50877c72ce92caa4ac0af5698aa3c9e42e18d
e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb


