# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5248d5a68b9334031317ce1b5e2670573ebd9bfa
output_heap: 58521ce4f6415380289941bbe93ff3d0d556c65d
input_heaps:
ff9ec311f2965b5256157dc51e673f62af8e5ca5
10a38f173e27565186798ec789d35427da220c73
aef3817a777436681838cc0007076dd38ff517ff
a1e32dbb8f84bd275f922d5f8820abc3ae37524f


