# isabelle_session_info

session_name: HOL-Word-Examples
sources:
2d4eafc74c6b9a723cabb48511a1a0822374624c
a0b57905feea38e409b2c1c5f2a51f1639d737f6
f5efcb46b0fe1f58ca83839cc36fbd6638a23ebf

input_heaps:
014fdf73a0b928fde39c061b3b448884e65fa152
f4f811683dcda440eaf96bee8739ce28e3523afa
c12cabd538f6c4da75d1826c4b43a759cd17318d


