# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: e70885853e8f13687fac95941e93e0cf07b3a29a
input_heaps:
0e2ef6726d29bd0dbb6c10a7e2abe2c01e1df97b
7f66bc57e1f2d4e5d98619ec084d0f635cc5380b
42bfcd1776681d4817962077819f59fc376a7405
f392283740677403257cce30eacded4a056b5874
68ef633351d638b2646a04eb0396c608e58172d8


