# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8c014dece4b9d8a1b9f1872d30ab588dc4dac10b
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
fe2f694165c1213bda24b6bdd0de5b8d99a2119d
3011b6a237b46c9ff839ee4893fa0078adff9e6d
5a7b4921fe4abd78356f4f9a5ca01bb4f583a908


