# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 740cdf090ebbd1a7088ef72c23230b3079cebb29
uuid: 7673d315-a2e4-4c6b-9d85-d56892d89084
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
3c19ac5803b7e34cf46729d33d06863a37704171
cc09bcfd49c38275f48e9741242ee250381b268a
9c8e76c6c04bac14403955e2c2cdc4cdef7b6265


