# isabelle_session_info

session_name: HOL-Word-Examples
sources:
10b1d5b3daabb4f7851a03597ffaef0493d96daa
2d4eafc74c6b9a723cabb48511a1a0822374624c
a0b57905feea38e409b2c1c5f2a51f1639d737f6

input_heaps:
7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
67de1e4faa6c594cac8f83698b542c3bbb933a16
f2ad22412fb42ba60b9a6dcbf1d7f98473d5f260


