# isabelle_session_info

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

input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
9eb5094ea5c56f5f0e417fb357591e3e8425b5d9


