# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9da10e7dc0e113eb7860e62d3326d2e23e6fa7e1
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
e17f53f4773c1ba55f3f1bc6662d978f9642ec96
e71f2d3b74b1d975700ca696a32e803ed8be3971
62b63e5317d011cc6f0e1b09ce37bb80f4d60ac7


