# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
19990c27038b33ee8dd18ba2d61b4926131235c1
03f81b12908762f49aa62e387917fe6fd6ee54a7
4b0ac24faaed0743c01981662e2214ea6f2d73e8
5358bc4277858c4674d218629a1378f2e3e9c276
51dd1b1ad9119e63cc9a301da47d778546023876


