# isabelle_session_info

session_name: HOL-ex
sources: e8445eb289ba56a516f0112ae8d1b9ad7ccc977f
input_heaps:
77f3e6117d8d9e81a63ec2f1d36765fb9761e63d
d8b455c84836a9b5f1a1b8503c9c0539652a6ddb
a4727a8fa9432637f8e3b924d78e177813bb53e6
69b83b275e5c0d4561d5fcf67e10859c2af608bf
0e64ca92b24f63954529c29995874e6ef336c557


