# isabelle_session_info

session_name: HOL-Word-Examples
sources:
2d4eafc74c6b9a723cabb48511a1a0822374624c
46cdfc6afdd23461f98609b996efb7cba6bab4a1
a0b57905feea38e409b2c1c5f2a51f1639d737f6

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
7f0952ac7fec10958e2fa703e156c54c828af00b


