# isabelle_session_info

session_name: HOL-ex
sources: af5853f852bfa7eae5bff1e821e973307c9723bf
uuid: adb41504-b078-46e9-a720-53f2328a9212
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3
c3cb8228dc5f170e59c8abef37f4fa2512e6ea1b
95a25b2fffa928fee48fea11230e710de7eff8a1


