# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8f9469c2f2132196586d9759861b2527144f9007
output_heap: 976d29496075646f1a21137b746247a6a689aa40
input_heaps:
6c51283dd05522a806b28d3dc91f24fbfd1e774e
f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0
ea8947358caf8bce8fe84a381dd04617a23e9278
e27a85c84e8f6d120dcad227ab0dc9b9b1f484ab


