# isabelle_session_info

session_name: HOL-ex
sources: 971cb6f7138a5af0f9287a08aaaae0fcdb529f4b
input_heaps:
3ccbed440c9bd7d46a54c67425d7713af8496493
5f9161c41302528b2c07b1beabf562853d8bc07e
3d7d5ad70439e4af8b1c2395188401d8194e4317
30b4c20b36a203af11a57de4bcc85c88c2b09c2d
3f26f2b9f1a9043f8397c3a9f688a0ba300e3b44


