# isabelle_session_info

session_name: HOL-Mutabelle
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa
sources:
14c3540bb5127bd30a61f668d40891bd3ead84f9
695102bf5465b942da3a549ef55eeb213c786883
affe343b422c96f2db65ac34297b39cc63e1054a
d255b8e5a56111252ebeea21c6567619a3819b39
e4c50877c72ce92caa4ac0af5698aa3c9e42e18d
e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb


