# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 4ea023d6844db2b3dcabcaefcafb6f0e8dac1ab5
uuid: 9e500869-df61-4309-a86b-08dc62594956
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
56a147a0185cce5160f925d498ac13dd2eacb7d3
f2b3285bbe8a09409ef2432440244fedfed04405
ed763a1139901fdb792274a3e43ea1b603a7c602


