# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c7c56b4c95b338b02ceb37b608f5fb01345e9f27
input_heaps:
ee6ad39af305f89937086a6f882fd17679ba7ecb
e3caa21a0f45527522c83927bef2cff3e9ca2831
566c0b821690122d0bd09bbd142e8e53fcc308c2
a8f094906dc40a7cda8a3da97107aa988bf28799
98f29b8e650026c1138b6c2641d6cc1c50bb997e


