# isabelle_session_info

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

input_heaps:
0dae525efa6f84ecf34af93ff7cba31c2592ec0d
8169f475732fbdf137107131aba0d9b3f4e56903
36d99a8fa33c9059415b6e666ebdf0547ef968cd


