# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
013f12b3a18b5832e87d70a48956a4ac101e569d
88e2f99c5920bc73d5416538298a01671c7553b6
a2acf7069a04b73290e85f261327886d85fee3a4
1719840070b88f240edf8bcfebb671a21b462a25
9f7cbf91a4fd629242753939870a1e19f59daa5f


