# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f332ec7e02efc21c4dd000cd7021fb44bb733abc
output_heap: 04e0f3dc053a1129a871816d3817fd0174597c9f
input_heaps:
76e4486f4e854c4cf8ede2a4c33538720337ade6
1b25b269fd3f0073906d39c4853885ebff160c80
f27104ce6257d931a465794a89a3cce9481d890f
5ec4df98bca8dd2332d9fdee27b370a2f566cccf


