# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f0d91c5b4a2cf49e294c2b46bc701caec3f6f9ce
input_heaps:
62dd5ef845605834f99fd219c6113e6e5d2ead3b
e158806d250ceec2e5c99ef815333151f28fb293
69e6c53cc553f832f80191480af118e89874fb3a
77fe15984efeeeaf0f46562237b7a757b592fb41
6b030cc9ab8d661cc932d8beda8010589fcede63


