# isabelle_session_info

session_name: HOL-ex
sources: 8c0e7d8e4ec9d8484977762d7df90ea5ce106397
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
11ae355b7d84cb3e716fb5a71e9937894a5be822
a7a8a41c4314c4c26d3dd849a66487227d2f26bc
3fae41f28ddce4491552297678d2622115f3f594


