# isabelle_session_info

session_name: HOL-Metis_Examples
sources: bad251d39eca1fa6ba472955b5c25d9b5a1099c3
uuid: 0fec787d-f215-4791-a88e-7e09fcdf969b
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea


