# isabelle_session_info

session_name: HOL-Mutabelle
input_heaps: 3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b
sources:
14c3540bb5127bd30a61f668d40891bd3ead84f9
695102bf5465b942da3a549ef55eeb213c786883
8a7b32639b06d5a130426219091cd8bd4fc47479
affe343b422c96f2db65ac34297b39cc63e1054a
e4c50877c72ce92caa4ac0af5698aa3c9e42e18d
e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb


