# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 9891acaeb3ceae4f5e20979d5ba9f7fa96704335
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
2c465f7c1db3dcc35e0ad2a54f63fad9a2305cd8


