# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6974d6fe49a082cd1686882f7a009bd038af4f38
input_heaps:
774d4d66473cedfcfaef21f8da022a76e69a4390
4339b0bb8d34235034b5063bc60c874a65b8f9a0
f56a589c3b6299c20bdd03a944c56282d8178d68
33fa4997dea48b70c2a14e38fd470b2fd3aba9f3
89e14cb21aac79888ed9a68e680a07c4756be0b3


