# isabelle_session_info

session_name: Native_Word
sources: 7cabc5c6e6c57ff90be2b3d0fb61c3a12a6e3b58
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
15059e4b884c385e3a1f4555bee098335d341964


