# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ee65c99eef6f4fcacc7fa0fe7d0a6200bc385fc8
input_heaps:
d2241105d59f024a1ed91dd402ce7df32b8647fc
03456ed43f3268cce21b507c83b43956efbf99ef
4021ed9297b88c4fa4fe51b46f67ce3b8c027638
b3707a727cb6d510d848e0c7bb7fc3863cb2298b
e6c347b667fc4cea1c63feedcded7d7aea1e8cab


