# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 4bbff27895b153136e34acbec3f68ee58543f39b
input_heaps:
eaa94e7560b78888e2ccc5df82217e3fa99ea515
96fbfc89185ba2b91d08a1c616c5bcccc36f7964
de7718d25cd9c7fbcd8a0b1e8d2a1455db520de3
9f6b5c20f4ce77c230e753339e37289d4a41dd37
2090157b6c42695cd3507421f43f2dac83112ee2


