# isabelle_session_info

session_name: Native_Word
sources: 71a3cd079c0726dde0a5c15a2343a5d990eab282
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
de080a6e9a001cc218fa2593f399edf3cf599caa


