# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4ffbd7db55ecc863e1d8e38a3df4d2bc01093967
output_heap: d78afc5a926d2d23f9541f095f3e9442f09b4950
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
875ec6318de6760161deb7c2869661ec0677f055
c1efbc479f106352809910265407a2a3cda763de


