# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b136c32a59a9e3061882ceeb930acdddf3d8944a
input_heaps:
994367ec2d1c78d3b943554e9d9b199959eb8dbf
b8874a0591f2f25a4133661dcf87d56ad6cc19e6
8b60965a2e81861e87197b3ed09ea983e78f3bdd
9cb303380af1f7a18864b65c38737ca61e7d5b98
e23cff86c901a1180ac1ece57b775c17396ef043


