# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ba8d63b562c279235662112996e2266105300eb0
uuid: eeb6122d-583a-44b8-9b17-75fb5014a9ee
input_heaps:
5a3d596cb142bc9ec2bbea424b46d595ada8722a
3241c15793168d7f0f42cba193ff3c1c8c4e074a
b3d617fcb6a58181993d1fdc0a209a9d55e68274
d8dfb31d45de1c8ba67118c2a6e62c1740809022
681a0afdd9bc352d8fb8b6910a1b1b9df2da8b3e


