# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 61942a95aa4caded0f3e250f384feb0490e581dc
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
1d38d4348bdd52e537bfa81a71f0486648956ec5


