# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6b430a2cab5469b89c87dd80ad568e3ed8e7f1aa
input_heaps:
202f6f92237c25fe02f241fe1e163c0a4bca399a
63f007d29bfc488e0cf2bd9362b622634a9cd39d
809a914e409100418d2c13df98768aaad39c3c52
6fe55a48d15d1c2b8106bfd96a01346d616dc219
e5649ed37be01af4f1d2d039f5a3cc1625f2e303


