# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ce6972fd684e7a5c9e7f9edda92414117f87cdeb
input_heaps:
e0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e
e0b4ef556b392ea7ef408585b4aaeb86030f1fb5
59f0152035b1abf943b38e12f1435654d5d780c4
5da5d610064a220a8ad7a80b9f8782a505bf0e56
22e13f0956b85dd0219422eaede7837a2f8a41c5


