# isabelle_session_info

session_name: Word_Lib
sources: 082f5f297d18f7982104092693de83c00278673b
output_heap: 07bb0fabe04cd2fe961169486755d1e1b4706a2c
input_heaps:
fb84d628448b9950118429ddd1544ba3ddd4df21
0698e6c47efe4fb1b477feddf75ff7ff44906ece
e1188cd727abff8a2b5a962eb7dd3a1baa7351a3


