# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 7b7bb561046feceb6e7eb832af1703b503c5d4c4
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
8fe9a4344a6d65a35ea75e9bdbfc54e5b4fa2279


