# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
4d7cc99ba2317c92438b24a1f5d0bb50f2da3794
c6928bcd68337aad18e786f6ec337677f65404f9
fc831f1b5a402588bc8bc2bff7b8f03afb401d7b
a6d92894fbfd5b92585b23b53c030f04e7582e57
c180684b97f5215cb7555feed578e0c24906d1ad


