# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2788d2534fd500d70a01046bf83649f4a0ac59d1
uuid: 6abb8a26-0183-4714-81cd-146798152bc2
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
7b5807c80798cb26b480179bd3770c527e2bcb2a
4886027a65183daad83b345861db0251302fbacb
9a8b286514c5f736576a8d8195ec5cd702ffea97


