# isabelle_session_info

session_name: Word_Lib
sources: 31d3d021c6fbf86cc89860c44abc0004063f2747
output_heap: cd3949990105dae2398f474b4d5390b5929c42a9
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
56285ac0202166b2b1eb0083d14e25cae3a1ed4a
3a506b6c9a8b73e1e3ac1c2e749103fdcfc01d32


