# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15903cdcd2aa9b156fc38a762f830d8b98df2571
input_heaps:
1d849f65e40086cfa647d5ebc591e23f461aa5f2
8299fc860ca605d42055d4569ce45da8c35d31f8
791b72dfea4fb72ea09125b6383f1cb7a31d52b1
833e5af36744fa2577e434430b50346ab4c73203
314fc043f4bc7bc2a69d67b627b7d640a97536c0


