# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5d1a6a930286fd72e4addbddb7ac3cb16d1601e5
output_heap: f12a6734ad98f7d37d4468f57978fcbeea6d1624
input_heaps:
31834e38ec0b0e76e422d9e5943a358a1d5bea79
5dc3e58cfb340e0489c37782ea3c036116b08098
a6d9cc8950ef0c05091030409110697a59d0b248
e50b3999c7a7d3d50fb769799b0e8d23821b030c


