# isabelle_session_info

session_name: HOL-UNITY
sources: 6e61fce479387742198bacd496b806dacbd9a611
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
4b07c5d95b17cd8e77b9b6bf4b5e220a9ba17ad6


