# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5694b968f32ec70825718f7f1926648e2773a630
output_heap: 3dddcc510579576c30b218a83397644a2205546c
uuid: b520d2f1-a1a3-4db7-8834-582e3391d2b2
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
2779319898a8d1e1b25bf653450b50be2b524a7e
995d89955a4ca0af5666bcdc99dc0a120af3fd96


