# isabelle_session_info

session_name: ZF-UNITY
sources: a78ad809f34be0a82d2f1f35f233d676621ed0cb
input_heaps:
275e94d511fe2870fff5f93bcaa57066d115c4cf
ff2e8ef60ec6d42a18f5ce8574ac8be1a93fe947
d49cfafd71d35483909519816edf7ba3dd4f49c1


