# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2b4a76a1e06d5c872fcdff048bf5f7c1ef6647a4
uuid: ffb1dc8d-4b7b-4af4-8c8c-9a1d3f1a1bdd
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a
f4daddb79c0be0b14eba5db052cfb9513ee2a4ba
29049faf91a523331b4bc264e1e7b623c6ab5a12


