# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b22b037b8aebc9c069a6d7bcc50b000fe35a2ded
input_heaps:
56dff493c54cd66b7db0c38a40d271b408a414ea
15c9718b35bbebd57dd2cb739566c2d7a0f9df58
aaab6863977e87f4aee85cc38e4efed4f4dd9790
bbab9dae68f924aa4767790f6d9661facb21fd0d
f6463a6f70826a93f6655cc06b8c0a7ff4e81623


