# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a259289cd7478f7b8b5dd69e7313f1c4a5fb9705
output_heap: 08f04c7096f42b28051be7a801524da96be02e8a
input_heaps:
aa468f196cc1f032ced051f10cd4b6ba6c3bde77
524ae272694e137cafb2e02694c46b4b52cd2087
7b5a09900654db7e7000023ca75a1722b8534adf
36ad7d70b5ad390f0c646a1e615714facdb1ccb7


