# isabelle_session_info

session_name: HOL-Mutabelle
sources:
1986556ab4178bdda322338c785143884e3d6131
20b8f4aa73219a62907a909a1089f8facc56bd93
695102bf5465b942da3a549ef55eeb213c786883
affe343b422c96f2db65ac34297b39cc63e1054a

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
bc315400c916c04295cfa60734d24fe7f303421b


