# isabelle_session_info

session_name: HOL-ex
sources: 86485f6e32c6bdc3dded8f598e2b568b99d020af
input_heaps:
74e744b09b63a313ef3c6c28f69fb3e17cd7369f
2cb7c328d0966d0aa485dd673e34df1d139d2bb8
0ef3f9c627ca88a2c540b043cf90b31a21d8cf7a
c69a917c7713463de56dc02e21f70f97f8139dda
c4342723630bbf3cf16d9181c3a299b5003c51e1


