# isabelle_session_info

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

input_heaps:
8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
de328a474e6cdff0000c51e8888301c5b94d70c0


