# isabelle_session_info

session_name: HOL-ex
sources: 163e331756c78eb724fe1771c035a2d9cad53d85
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b
4013f8191ae99fb9ad645584120c28e578ea96c6
b8d7fd207fc1f278511aebc12bbef0db6ae7831b


