# isabelle_session_info

session_name: HOL-Mutabelle
sources: 352f21553e5e7c0cf1dc5ea18a67fb7ea8b18164
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
f35d613e91298ed96af573ceee500580887c6bd5


