# isabelle_session_info

session_name: HOL-ex
sources: 99cbf5f49ed38b9ae52e1d511a24b2c0bf4af293
input_heaps:
126b3e7210b637747af3583ce8c4a1dc1eb33510
86dd0d4663cffbd9fb337dc820aef4a636e6ff50
9d1fda2ac65fc497a7a2725eb08e28b40fe06fd9
1819c8f2482e499af267e2fefef4d80a1bd84ae7
6627fd00810ea369fe74e8ab744182357740489d


