# isabelle_session_info

session_name: Native_Word
sources: 0a45cd5dec56e38fca9d1a17707ed2aa9d5eda13
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
929b556773f49674f782380ea8674f57747697be


