# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: fdbf6b363180f81c721b8ea67f9716daca3f1ea5
output_heap: 21e6456ad41d5c0f489f2f39f71574b687b893df
input_heaps:
8828c9bd7d7a39295ad2cff83514a86282d73123
3060999dc13a68f36a127d1e8a4ce3255eb025dd
5bb1e3cfc98e40f5e0687bf46aa5c10601b5fd6d
1ae347d2b003a220090db7fbd047812ef7aa8a4c


