# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a9383c4f5df4b426b5f25142030eaec22d52e8e9
input_heaps:
a3ca72e93022ff3a13f721dde80608155e0e134c
03ac95b81282031db310f795682802eff540a88f
ec5f667793f1a373a81b1fe8344e2c3b64c5cda2
7754f6e2cda2017f8aa850795971355a93f9a21b
1bc79b6d3cabf0d764a56f24d61c97b4e4c31477


