# isabelle_session_info

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

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
2e2ef00b86b05c7b35e9f7f0657125e173a77c1f


