# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc
e0509b6b5154f01bfbf9ba0bafa70119dbc01568
ddc4e850e6d209171523f5055a5ee5c04e8ff275
5c00f52a6b692d25a3855793b567d0287220e343
8e5d02409d2f295c4e77ab7fb2c6a6cb1cb85eb3


