# isabelle_session_info

session_name: HOL-ex
sources: 32a0504ce2696e7eb6aea2cca5648557c9b14101
input_heaps:
cd0e912ed62b565f923447ac15920f01cf16e661
978022e567c2431ebcf49bd9b03799e8cb79c960
f5f718b6bb1e63faebd1e5912d0605474f7dccc4
8cb09fcd1e7e93ed0d8abf4b9d1a7404495ff178
6a6e0e27aa95ecbd4a92d100082635185dbf9fa5


