# isabelle_session_info

session_name: HOL-ex
sources: 35cdbcda5880a3e4e9f3caade36f33700d0e4947
input_heaps:
221bf55cdbeeb204abe001803bef147f0ffeb54c
2d0043d5245b774b6a52bc09a6afbc782402b041
223476067afe6566801165b07929b4c3deeacf6b
afea9e86b5777d940efa1107a48408e24cdebbf8
8dd1073815ea801f2b7605f1a07c754d82864150


