# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 0617a4b4eb9bd046b54a071657e6a14259cbbab2
uuid: 83f79a57-4390-487f-8acc-07a1e4e35aa6
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd
fec8b72c744412e50383fda73d713fa865edd55e
3c3c5c5a3b629ea052a87ecae97fde8d3bd13d1f


