# isabelle_session_info

session_name: Native_Word
sources: 3fd0b694e94df9f7478b15f85a604ba5b734e415
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
62c6fddbd84e1259c96caee5efb59fa18f6a65d1


