# isabelle_session_info

session_name: HOL-Mutabelle
input_heaps: 8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
sources:
14c3540bb5127bd30a61f668d40891bd3ead84f9
695102bf5465b942da3a549ef55eeb213c786883
affe343b422c96f2db65ac34297b39cc63e1054a
d255b8e5a56111252ebeea21c6567619a3819b39
e4c50877c72ce92caa4ac0af5698aa3c9e42e18d
e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb


