# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cdfb537b9285b1cce429bad176f3c27b64e89fa1
output_heap: cd4611112ffb91514c003528ba9890d3a19ef81c
uuid: 9fbdfee7-a21f-4c09-bc78-9e55bd474a53
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
d245a36e09f03531eb97ce9a3761aef2650c474a
082363f40ced7abb9763bebc6a8e1983bb54fe25


