# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
c90763e5323c8c923883e8df2f636567e1947d8b
ecb2e6c68f72a748f2069d4edb34b11a113a8c68
b757671fa0ee8fc05b46d7624392f7690af44534
d427379768e6b42cdc82abc5b0f4458cffc98d10
a3f5f57d1b2f360fad493317b8979f920bbfb1f9


