# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a90d3a3972cf781fdc1fce32538c1f8c0a257e62
input_heaps:
951230969940b07da93990e08fc8bf60c24ffe6c
f1fab7c32ee46794bf6b2349d4fdcefa0edbff44
a41ec127f05ea584e32771a235b923f201f7bdf9
baca1044d1bcdf38d0eafcf9f26ba55858ca9553
d1ef650ef97d86c39a34dea227665f8db1e7b127


