# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
5a408a5b752a714eef164c12108fb205609c8f9f
58a972e5cd8f9e4a6c6ed04f009c0afab628e285
300b67b1d37410087985fc44fce87eae3d397c05
f8aa45e6f340c56c385f74fd2efbe21320760868
cd7c3ecb6609cb38460af56447c9f3a3cc00db16


