# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 7fd0c98167bece0cfbbc6d26afb95d4369a8c114
input_heaps:
fbf1d73320eec6c763263c6f73f4f8ea76918e5d
12ca8fad7c37c4403710460d4209f1fd250d649c
8894a1fff9e9b7de298f1b6d42243c5c615fb357


