# isabelle_session_info

session_name: HOL-ex
sources: 5882a46743f296dbbbe33f485074a757ea7be9df
input_heaps:
1d3b7742f85f25c1c85e860702329bfabe408a8c
01689be8ff96647a44561310e2e9cd85b0703641
cbe3eb1ccf50b584575b7f6936f222e4060eb6a9
f2dbdeb87336cb1995ed0b39197e69b55baa6e27
312fedd9a4202636daeac27fba4aac0ce43c5482


