# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 90a295f68ae4f807ef745156e2a5e734c18443f3
uuid: 5d635c49-4394-4ef0-af34-a29dd19ead45
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0
1d27a23657348ec6058700e8653a9eaa6ecad18c
7715e6476d9f49bcf3a77ffe8b482641d52d4e09


