# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 16c4914a11da5f7a0f8da1808bf42680f6d72a0f
output_heap: b1ee82a828dcf6cfb056fca527db4296ccf35445
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0
72fa036d0eae04f605be92ed0740d083d168190b


